POLY(1) General Commands Manual POLY(1) NAME polyc - Compile and link a Standard ML program using Poly/ML SYNOPSIS polyc sourcefile DESCRIPTION polyc is a script that compiles a Standard ML program using the Poly/ML compiler and creates an executable program from it. It can also be used to link object files created using the PolyML.export function with the Poly/ML libraries or to produce an object file. When used to compile a Standard ML program it expects the main function to be called "main" e.g. fun main() = print "Hello World\n"; If the source file is a text file it is assumed to be ML source. If it is a binary file it is assumed to be an object file and will be linked with the Poly/ML library. OPTIONS -c Compile but do not link. The object file is written to a file whose name is based on the source file name with any extension replaced with .o -o output Write the executable file to "output". --help Write a list of the arguments and exit. SEE ALSO http://www.polyml.org The Poly/ML web site. Poly/ML Version 5.9.2 2025 POLY(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=polyc&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>