Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/Doc/14-smlcmdline.tex
ViewVC logotype

Diff of /sml/trunk/src/cm/Doc/14-smlcmdline.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1211, Tue May 21 14:54:32 2002 UTC revision 1212, Tue May 21 16:34:29 2002 UTC
# Line 1  Line 1 
1  % -*- latex -*-  % -*- latex -*-
2    
3  \section{The {\tt sml} command line}  \section{The {\tt sml} command line}
4    \label{sec:cmdline}
5    
6  The SML/NJ interactive system---including CM---is started from the  The SML/NJ interactive system---including CM---is started from the
7  operating system shell by invoking the command {\tt sml}.  operating system shell by invoking the command {\tt sml}.
8  This section describes those arguments accepted by {\tt sml} that  This section describes those arguments accepted by {\tt sml} that
9  are related to (and processed by) CM.  are related to (and processed by) CM.
10    
11  CM accepts {\em file names}, {\em mode switching flags}, and {\em  CM accepts {\em file names}, {\em mode switching flags}, {\em
12  preprocessor definitions} as arguments.  All these arguments are  preprocessor definitions}, and {\em control parameters} as arguments.
13  processed one-by-one from left to right.  All these arguments are processed one-by-one from left to right.
14    
15  \subsection{File arguments}  \subsection{File arguments}
16    
# Line 57  Line 58 
58  \item[{\tt -D$v$}] is equivalent to {\tt -D$v$=1}.  \item[{\tt -D$v$}] is equivalent to {\tt -D$v$=1}.
59  \item[{\tt -U$v$}] acts like {\tt (\#set (CM.symval "$v$") NONE)}.  \item[{\tt -U$v$}] acts like {\tt (\#set (CM.symval "$v$") NONE)}.
60  \end{description}  \end{description}
61    
62    \subsection{Control Parameters}
63    
64    There are three kinds of control parameters:
65    
66    \begin{description}
67    \item[{\bf help}] A request of help is one of {\tt -h},
68    {\tt -h}{\it num}, or {\tt -H}.  In general, {\tt -h}{\it num}
69    produces a help listing with all configurable controls up to obscurity
70    level {\it num}.  If {\it num} is omitted, it defaults to 0.  The
71    {\tt -H} flag requests a full help listing with all controls.
72    \item[{\bf current settings}] This is similar to requesting
73    help---except {\tt -h} and {\tt -H} are replaced with {\tt -s} and
74    {\tt -S}, respectively.  Instead of showing the help message
75    associated with each control, this requests showing the current
76    settings.
77    \item[{\bf set a control}] A control value can be set using an
78    argument of the form {\tt -C}{\it control}{\tt =}{\it value}, where
79    {\it control} is the name of a control and {\tt value} is a string
80    that can be parsed and converted to a new value appropriate for the
81    type of the control.
82    \end{description}

Legend:
Removed from v.1211  
changed lines
  Added in v.1212

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0