Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/staging/doc/report/diderotc-1.tex
ViewVC logotype

Diff of /branches/staging/doc/report/diderotc-1.tex

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

revision 2658, Fri May 30 14:30:43 2014 UTC revision 2659, Fri May 30 14:32:52 2014 UTC
# Line 23  Line 23 
23    \begin{Flag}{\Opt{--exec}}    \begin{Flag}{\Opt{--exec}}
24      Compile the Diderot program to run as a standalone executable.      Compile the Diderot program to run as a standalone executable.
25    \end{Flag}    \end{Flag}
26    \begin{Flag}{\OptArg{-o}{ outfile}}    \begin{Flag}{\OptArg{-o}{ outfile}, \OptEqArg{--output}{outfile}}
27      Use the name \Arg{outfile} as the stem for the generated code files.      Use the name \Arg{outfile} as the stem for the generated code files.
28      When coupled with the \Opt{--exec} flag, \Arg{outfile} will be the name of      When coupled with the \Opt{--exec} flag, \Arg{outfile} will be the name of
29      the executable.      the executable.
   
30    \end{Flag}    \end{Flag}
31    \begin{Flag}{\OptEqArg{--namespace}{prefix}}    \begin{Flag}{\OptEqArg{--namespace}{prefix}}
32      Specify a namespace prefix for generated interface to the Diderot program.      Specify a namespace prefix for generated interface to the Diderot program.
# Line 56  Line 55 
55  \begin{SECTION}{RUNTIME OPTIONS}  \begin{SECTION}{RUNTIME OPTIONS}
56    The executables produced by the compiler when using the \Opt{--exec} option recognize    The executables produced by the compiler when using the \Opt{--exec} option recognize
57    a number of options.    a number of options.
58      These include options to specify the values of input variables and the following standard
59      options:
60      \begin{OptionList}
61        \begin{Flag}{\Opt{-verbose}}
62          Enables runtime-system messages, which are printed to \texttt{stderr}.
63        \end{Flag}
64        \begin{Flag}{\Opt{-timing}}
65          Enables execution timing; the timing results are printed to \texttt{stdout}, unless
66          the \Opt{-verbose} option is specified, in which case they are printed to \texttt{stderr}.
67        \end{Flag}
68      \end{OptionList}%
69  \end{SECTION}  \end{SECTION}
70  \end{ManPage}%  \end{ManPage}%

Legend:
Removed from v.2658  
changed lines
  Added in v.2659

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