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

[r2003-06-08 23:38:19 by cvscast] Beppe: typos in run.ml. Updated manual page

Original author: cvscast
Date: 2003-06-08 23:38:19+00:00
parent 555567be
.TH "CDUCE" "1" "26th of May 2003" "" ""
.\" This manpage has been automatically generated by docbook2man
.\" from a DocBook document. This tool can be found at:
.\" <http://shell.ipoline.com/~elmert/comp/docbook2X/>
.\" Please send any bug reports, improvements, comments, patches,
.\" etc. to Steve Cheng <steve@ggi-project.org>.
.TH "CDUCE" "1" "09 giugno 2003" "" ""
.SH NAME
cduce \- The CDuce interpreter
.SH SYNOPSIS
\fBcduce\fR [ \fB-v
--quiet
--license\fR ] [ \fB--dump \fIfile\fB\fR ] [ \fB \fIfile[.cd]\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
\fBcduce\fR [ \fB OPTIONS\fR\fI ...\fR ] [ \fB \fIfile[.cd]\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
.SH "DESCRIPTION"
.PP
......@@ -19,32 +22,46 @@ passed to the source file(s).
If no CDuce file is given on the command line
then the interpreter uses the standard input and behaves as an interactive
toplevel. Toplevel phrases are processed after each \fB;;\fR. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without \fB;;\fR inbetween).
In order to allow persistence (option \fB--dump\fR) to operate, you must quit the toplevel with \fBCtrl-D\fR and not \fBCtrl-C\fR.
In order to allow persistence (option \fB--dump\fR, \fB--load\fR, and \fB--save\fR) to operate, you must quit the toplevel with \fBCtrl-D\fR and not \fBCtrl-C\fR.
.SH "OPTIONS"
.PP
This program follows the usual syntax,
This program follows usual syntax,
with long options starting with two dashes (`--'). A
summary of the options supported by \fBcduce\fR
is included below.
.SS "GENERIC OPTIONS"
.TP
\fB--dump \fIfile\fB\fR
This options allows persistence between several invocations of the
interpreter: the current environment (defined types and values) is saved in
\fIfile\fR when the interpreter terminates and it is restored if
the interpreter is started again with the same option and file.
This option is equivalent to restore the environment previously saved in
\fIfile\fR by the \fB--load \fIfile\fB\fR \fB--save \fIfile\fB\fR.
.TP
\fB--expat\fR
Use the Expat parser for loading XML documents (this option is available only if CDuce was built with Expat support; in that case it is the default option). Cannot be use in conjuction with the \fB--pxp\fR option.
.TP
\fB-h, --help\fR
\fB-h, --help\fR
Display a short help message and exit.
.TP
\fB--license\fR
Show license information and exit.
.TP
\fB--load \fIfile\fB\fR
Restore the environment previously saved in
\fIfile\fR by the \fB--save\fR option.
.TP
\fB--pxp\fR
Use the PXP parser for loading XML documents. Cannot be use in conjuction with the \fB--expat\fR option.
.TP
\fB--quiet\fR
Suppress normal output (typing, results). It is normally
used when the CDuce interpreter is used in the context of batch
processing.
.TP
\fB--save \fIfile\fB\fR
This options allows persistence between several invocations of the
interpreter: the current environment (i.e., the set defined types and values) is saved in
\fIfile\fR when the interpreter terminates so that it
can be succesively restored by using \fB--load\fR option
.TP
\fB-v, --version\fR
Show version information and exit.
.SS "PROGRAM OPTIONS"
......
......@@ -15,13 +15,8 @@
<refsynopsisdiv>
<cmdsynopsis>
<command>cduce</command>
<arg choice="opt">
<option>-v</option>
<option>--quiet</option>
<option>--license</option>
</arg>
<arg choice="opt">
<option>--dump <filename>file</filename></option>
<arg choice="opt" rep="repeat">
<option>OPTIONS</option>
</arg>
<arg choice="opt" rep="repeat">
<option><filename>file[.cd]</filename></option>
......@@ -44,7 +39,7 @@ If no CDuce file is given on the command line
then the interpreter uses the standard input and behaves as an interactive
toplevel. Toplevel phrases are processed after each <command>;;</command>. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without <command>;;</command> inbetween).
In order to allow persistence (option <option>--dump</option>) to operate, you must quit the toplevel with <command>Ctrl-D</command> and not <command>Ctrl-C</command>.
In order to allow persistence (option <option>--dump</option>, <option>--load</option>, and <option>--save</option>) to operate, you must quit the toplevel with <command>Ctrl-D</command> and not <command>Ctrl-C</command>.
</para>
</refsect1>
......@@ -52,7 +47,7 @@ In order to allow persistence (option <option>--dump</option>) to operate, you m
<refsect1>
<title>Options</title>
<para>
This program follows the usual syntax,
This program follows usual syntax,
with long options starting with two dashes (`--'). A
summary of the options supported by <command>cduce</command>
is included below. </para>
......@@ -62,18 +57,24 @@ is included below. </para>
<title>Generic Options</title>
<variablelist>
<varlistentry>
<term><option>--dump <filename>file</filename></option></term>
<listitem>
<para> This options allows persistence between several invocations of the
interpreter: the current environment (defined types and values) is saved in
<filename>file</filename> when the interpreter terminates and it is restored if
the interpreter is started again with the same option and file.</para>
<para>
This option is equivalent to restore the environment previously saved in
<filename>file</filename> by the <option>--load <filename>file</filename></option> <option>--save <filename>file</filename></option>.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>--expat</option></term>
<listitem>
<para>Use the Expat parser for loading XML documents (this option is available only if CDuce was built with Expat support; in that case it is the default option). Cannot be use in conjuction with the <option>--pxp</option> option.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-h</option>, <option>--help</option></term>
<listitem>
......@@ -89,6 +90,24 @@ the interpreter is started again with the same option and file.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>--load <filename>file</filename></option></term>
<listitem>
<para>
Restore the environment previously saved in
<filename>file</filename> by the <option>--save</option> option.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>--pxp</option></term>
<listitem>
<para>Use the PXP parser for loading XML documents. Cannot be use in conjuction with the <option>--expat</option> option.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>--quiet</option></term>
......@@ -99,6 +118,17 @@ the interpreter is started again with the same option and file.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>--save <filename>file</filename></option></term>
<listitem>
<para> This options allows persistence between several invocations of the
interpreter: the current environment (i.e., the set defined types and values) is saved in
<filename>file</filename> when the interpreter terminates so that it
can be succesively restored by using <option>--load</option> option
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-v</option>, <option>--version</option></term>
......
......@@ -12,7 +12,7 @@ let version () =
Printf.eprintf "CDuce, version %s\n" <:symbol<cduce_version>>;
Printf.eprintf "built on %s\n" <:symbol<build_date>>;
Printf.eprintf "using OCaml %s compiler\n" <:symbol<ocaml_compiler>>;
Printf.eprintf "support for expat:%b\n" (Load_xml.expat_support);
Printf.eprintf "support for expat: %b\n" (Load_xml.expat_support);
exit 0
let license () =
......@@ -48,7 +48,7 @@ let specs =
("--expat", Arg.Unit (fun () -> Load_xml.use_parser := `Expat),
" use expat parser (default)") ::
("--pxp", Arg.Unit (fun () -> Load_xml.use_parser := `Pxp),
" use PXPt parser") ::
" use PXP parser") ::
specs
else
specs
......
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