|
|
POLY(1) 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
compile 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.5.1 2013 POLY(1)
[top]
|
Vote for polarhome |
