Commit 45170515 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-22 14:43:39 by cvscast] Manual

Original author: cvscast
Date: 2003-05-22 14:43:39+00:00
parent 7ecc59d7
......@@ -4,6 +4,7 @@
<title>User's manual</title>
<include file="manual/interpreter.xml"/>
<include file="tutorial.xml"/>
<include file="memento.xml"/>
<include file="manual/types_patterns.xml"/>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="manual_interpreter">
<box title="Command-line" link="cmdline">
For performance reasons, it is advised to build the interpreter using OCaml
native code compiler. The structure of the command line is:
./cduce [options] [CDuce files] -- [arguments for the CDuce program]
The arguments are:
<li> All the arguments following <code>--</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
the context of batch processing. </li>
<li> The option <code>-dump %%filename%%</code> allows persistency
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>
<li> The option <code>-v</code> makes the interpreter print its
version number and exit immediatly.</li>
<li>All the other arguments on the command line are considered CDuce
scripts, which are executed successively. If no CDuce file is given on
the command line, the interpreter uses the standard input. </li>
\ No newline at end of file
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