This is the command polyc that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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.
Use polyc online using onworks.net services