debian/sml.1

   1 .\"                                      Hey, EMACS: -*- nroff -*-
   2 .TH SML 1 "October 25, 2002"
   3 .SH NAME
   4 sml \- SML compiler
   5 .SH SYNOPSIS
   6 .B sml
   7 .RI "[ " rtsargs " ] [ " options " ] [" files " ]"
   8 .SH DESCRIPTION
   9 This manual page documents briefly the
  10 .B sml
  11 command.
  12 This manual page was written for the Debian distribution
  13 because the original program does not have a manual page.
  14 This is a compiler for Standard ML which may be used
  15 interactively.
  16 .SH OPTIONS
  17 A summary of options is included below.
  18 .SS rtsargs:
  19 .TP
  20 .BI @SMLload= heapimage
  21 Start specified heap image.
  22 .TP
  23 .BI @SMLalloc= size
  24 Specify size of allocation area.
  25 .TP
  26 .BI @SMLcmdname= name
  27 Set command name.
  28 .TP
  29 .B @SMLquiet
  30 Load heap image silently.
  31 .TP
  32 .B @SMLverbose
  33 Show heap image load progress.
  34 .TP
  35 .B @SMLobjects
  36 Show list of executable objects.
  37 .TP
  38 .BI @SMLdebug= file
  39 Write debugging info to file.
  40 .SS options:
  41 .TP
  42 .BI -D name = value
  43 Set CM variable to given value.
  44 .TP
  45 .BI -D name
  46 Set CM variable to 1.
  47 .TP
  48 .BI -U name
  49 Unset CM variable.
  50 .TP
  51 .BI -C control = value
  52 Set named control.
  53 .TP
  54 .B -H
  55 Produce complete help listing.
  56 .TP
  57 .B -h
  58 Produce minimal help listing.
  59 .TP
  60 .BI -h level
  61 Help with obscurity limit.
  62 .TP
  63 .B -S
  64 List all current settings.
  65 .TP
  66 .BI -s level
  67 Limited list of settings.
  68
  69 .SS files:
  70 .TP
  71 .I file.cm
  72 CM.make or CM.autoload.
  73 .TP
  74 .B -m
  75 Switch to CM.make.
  76 .TP
  77 .B -a
  78 Switch to CM.autoload; default.
  79 .TP
  80 .I file.sig
  81 Use.
  82 .TP
  83 .I file.sml
  84 Use.
  85 .TP
  86 .I file.fun
  87 Use.
  88
  89
  90 .SH SEE ALSO
  91 .BR ml-build (1),
  92 .BR ml-lex (1),
  93 .BR ml-makedepend (1),
  94 .BR ml-yacc (1).
  95 .br
  96 Standard ML is defined in
  97 .IR "The Definition of Standard ML" ,
  98 Robin Milner, Mads Tofte, Robert Harper and David MacQueen.
  99 .SH AUTHOR
 100 This manual page was written by Aaron Matthew Read <amread@nyx.net>,
 101 for the Debian GNU/Linux system (but may be used by others).