NAME
sml - SML compiler
SYNOPSIS
sml [ rtsargs ] [ options ] [files ]
DESCRIPTION
This manual page documents briefly the sml command. This manual page
was written for the Debian distribution because the original program
does not have a manual page. This is a compiler for Standard ML which
may be used interactively.
OPTIONS
A summary of options is included below.
rtsargs:
@SMLload=heapimage
Start specified heap image.
@SMLalloc=size
Specify size of allocation area.
@SMLcmdname=name
Set command name.
@SMLquiet
Load heap image silently.
@SMLverbose
Show heap image load progress.
@SMLobjects
Show list of executable objects.
@SMLdebug=file
Write debugging info to file.
options:
-Dname=value
Set CM variable to given value.
-Dname Set CM variable to 1.
-Uname Unset CM variable.
-Ccontrol=value
Set named control.
-H Produce complete help listing.
-h Produce minimal help listing.
-hlevel
Help with obscurity limit.
-S List all current settings.
-slevel
Limited list of settings.
files:
file.cm
CM.make or CM.autoload.
-m Switch to CM.make.
-a Switch to CM.autoload; default.
file.sig
Use.
file.sml
Use.
file.fun
Use.
SEE ALSO
ml-build(1), ml-lex(1), ml-makedepend(1), ml-yacc(1).
Standard ML is defined in The Definition of Standard ML, Robin Milner,
Mads Tofte, Robert Harper and David MacQueen.
AUTHOR
This manual page was written by Aaron Matthew Read <amread@nyx.net>,
for the Debian GNU/Linux system (but may be used by others).
October 25, 2002