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/manual.tex
ViewVC logotype

Diff of /sml/trunk/src/cm/Doc/manual.tex

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

revision 695, Mon Aug 7 23:57:38 2000 UTC revision 696, Tue Aug 8 02:18:49 2000 UTC
# Line 2250  Line 2250 
2250  \section{The {\tt sml} command line}  \section{The {\tt sml} command line}
2251    
2252  The SML/NJ interactive system---including CM---is started from the  The SML/NJ interactive system---including CM---is started from the
2253  operating system shell by invoking the command {\tt sml}.  This  operating system shell by invoking the command {\tt sml}.
2254  command accepts a variety of arguments. This section describes those  This section describes those arguments accepted by {\tt sml} that
2255  arguments that concern CM.  CM processes these arguments one-by-one  are related to (and processed by) CM.
2256  from left to right.  
2257    CM accepts {\em file names}, {\em mode switching flags}, and {\tt
2258    preprocessor definitions} as arguments.  All these arguments are
2259    processed one-by-one from left to right.
2260    
2261  \subsection{File arguments}  \subsection{File arguments}
2262    
# Line 2262  Line 2265 
2265    
2266  \begin{description}  \begin{description}
2267  \item[ML source files] are recognized by their filename extensions  \item[ML source files] are recognized by their filename extensions
2268  ({\tt .sig}, {\tt .sml}, or {\tt .fun}) and will be loaded via {\tt  ({\tt .sig}, {\tt .sml}, or {\tt .fun}) and cause the named file to be
2269  use} at the time the argument is being considered.  Names of ML source  loaded via {\tt use} at the time the argument is being considered.
2270  files are specified using the underlying operating system's native  Names of ML source files are specified using the underlying operating
2271  pathname syntax.  system's native pathname syntax.
2272  \item[CM description files] are recognized by their extension {\tt  \item[CM description files] are recognized by their extension {\tt
2273  .cm}.  They must be specified in CM's {\em standard} pathname syntax.  .cm}.  They must be specified in CM's {\em standard} pathname syntax.
2274  The corresponding libraries (or groups) will be loaded at the time the  At the time the argument is being considered, the named library (or
2275  argument is being considered by passing them to either {\tt  group) will be loaded by passing the name to either {\tt CM.autoload}
2276  CM.autoload} or {\tt CM.make}---depending on which {\em mode switching  or {\tt CM.make}---depending on which {\em mode switching flag} ({\tt
2277  flag} ({\tt -a} or {\tt -m}) was specified last.  The default is {\tt  -a} or {\tt -m}) was specified last.  The default is {\tt -a} (i.e.,
2278  -a} (i.e., {\tt CM.autoload}).  {\tt CM.autoload}).
2279  \end{description}  \end{description}
2280    
2281  \subsection{Mode-switching flags}  \subsection{Mode-switching flags}
2282    
2283  By default, CM description files are loaded via {\tt CM.autoload}.  By default, CM description files are loaded via {\tt CM.autoload}.  By
2284  By specifying {\tt -m} somewhere on the command line one can force the  specifying {\tt -m} somewhere on the command line one can force the
2285  system to use {\tt CM.make} for all following description files up to  system to use {\tt CM.make} for all following description files up to
2286  the next occurence of {\tt -a}.  The {\tt -a} flag switches back to  the next occurence of {\tt -a}.  The {\tt -a} flag switches back to
2287  the default behavior, using {\tt CM.autoload}, which will be in effect  the default behavior, using {\tt CM.autoload}, which will then again
2288  up to the next occurrence of another {\tt -m}.  be in effect up to the next occurrence of another {\tt -m}.
2289    
2290  The mode-switching flags {\tt -a} and {\tt -m} can be specified  Mode-switching flags can be specified arbitrarily often on the same
2291  arbitrarily often on the same command line.  command line.
2292    
2293  \subsection{Defining and undefining CM preprocessor symbols}  \subsection{Defining and undefining CM preprocessor symbols}
2294  \label{sec:cmdline:defundef}  \label{sec:cmdline:defundef}
2295    
2296  The following options for defining and undefining CM preprocessor  The following options for defining and undefining CM preprocessor
2297  symbols can also occur arbitrarily often.  Their effects accumulate  symbols can also occur arbitrarily often.  Their effects accumulate
2298  while processing the command line from left to right.  Their combined  while processing the command line from left to right.  The resulting
2299  effects eventually become observable in the interactive system.  final state of the internal preprocessor registry becomes observable
2300    in the interactive system.
2301    
2302  \begin{description}  \begin{description}
2303  \item[{\tt -D$v$=$n$}] acts like {\tt (\#set (CM.symval "$v$") (SOME $n$))}.  \item[{\tt -D$v$=$n$}] acts like {\tt (\#set (CM.symval "$v$") (SOME $n$))}.

Legend:
Removed from v.695  
changed lines
  Added in v.696

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