Commit 4db21f0c authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-25 08:39:25 by cvscast] Beppe: typos and update options

Original author: cvscast
Date: 2003-05-25 08:39:25+00:00
parent 965c4b04
......@@ -11,32 +11,32 @@ native code compiler. The structure of the command line is:
</p>
<sample>
cduce [options] [CDuce files] -- [arguments for the CDuce program]
cduce [OPTIONS ...] [FILES ...] [--arg ARGUMENT ...]
</sample>
<p>
The arguments are:
The options and arguments are:
</p>
<ul>
<li> All the arguments following <code>--</code> are passed to the
<li> All the arguments following <code>--arg</code> are passed to the
CDuce program, in the variable <code>argv</code> (of type <code>[
String* ]</code>, which means sequence of character strings). </li>
<li> The switch <code>-quiet</code> suppresses normal output (typing,
results). It is normally used when the CDuce interpreter is used in
<li> The switch <code>--quiet</code> suppresses normal output (typing,
results). This option is normally used when the CDuce interpreter is used in
the context of batch processing. </li>
<li> The option <code>-dump %%filename%%</code> allows persistence
between several invocations of the interpreter: the current
environment (defined types and values) is saved to the file when the
interpreter terminates and it is restored if the interpreter is
started again with the same option. Note that only the arguments after
<code>--</code> on the first invocation in a session are passed to the
CDuce program. </li>
started again with the same option and file name. Note that only the arguments after
<code>--arg</code> on the first invocation in a session are passed to the
CDuce program(s). </li>
<li> The option <code>-v</code> makes the interpreter print its
<li> The options <code>-v</code> and <code>--version</code> make the interpreter print its
version number and exit immediately.</li>
<li>All the other arguments on the command line are considered CDuce
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment