Rechercher une page de manuel
sml
Langue: en
Version: October 25, 2002 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
sml - SML compilerSYNOPSIS
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).Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre