Ubuntu Manpages

sml

SML compiler

sml [ rtsargs ] [ options ] [files ]

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.

A summary of options is included below.

@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.

Set CM variable to given value.
Set CM variable to 1.
Unset CM variable.
Set named control.
Produce complete help listing.
Produce minimal help listing.
Help with obscurity limit.
List all current settings.
Limited list of settings.

CM.make or CM.autoload.
Switch to CM.make.
Switch to CM.autoload; default.
Use.
Use.
Use.

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.

This manual page was written by Aaron Matthew Read <amread@nyx.net>, for the Debian GNU/Linux system (but may be used by others).