Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
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  com-
       pile  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.1	2023		       POLY(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=polyc&sektion=1&manpath=FreeBSD+Ports+14.3.quarterly>

home | help