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

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.

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

-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

       -ooutput
              Write the executable file to "output".

       --help Write a list of the arguments and exit.

http://www.polyml.org The Poly/ML web site.

                                           Poly/ML Version 5.7.1 2017                                    POLY(1)

polycsourcefile