1POLY(1)                     General Commands Manual                    POLY(1)
2
3
4

NAME

6       polyc - Compile and link a Standard ML program using Poly/ML
7

SYNOPSIS

9       polyc sourcefile
10

DESCRIPTION

12       polyc is a script that compiles a Standard ML program using the Poly/ML
13       compiler and creates an executable program from it.   It  can  also  be
14       used to link object files created using the PolyML.export function with
15       the Poly/ML libraries or to produce an object file.  When used to  com‐
16       pile  a  Standard  ML program it expects the main function to be called
17       "main" e.g.  fun main() = print "Hello World\n";
18
19       If the source file is a text file it is assumed to be ML source.  If it
20       is  a binary file it is assumed to be an object file and will be linked
21       with the Poly/ML library.
22

OPTIONS

24       -c Compile but do not link.  The object file is written to a file whose
25       name  is based on the source file name with any extension replaced with
26       .o
27
28       -o output
29              Write the executable file to "output".
30
31       --help Write a list of the arguments and exit.
32

SEE ALSO

34       http://www.polyml.org The Poly/ML web site.
35
36
37
38                           Poly/ML Version 5.8 2019                    POLY(1)
Impressum