Man Linux: Main Page and Category List

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