debian man page for sml

SML(1)							      General Commands Manual							    SML(1)

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							    SML(1)