Commit d8a74eab authored by Nicolás Ojeda Bär's avatar Nicolás Ojeda Bär Committed by POTTIER Francois
Browse files

Adapt manual

parent 6c63aa99
......@@ -259,10 +259,8 @@ a single set of tokens is to be shared between several parsers. The directory
\docswitch{\orawdepend} See \sref{sec:build}.
\docswitch{\ostdlib \nt{directory}} This switch controls the directory where
the standard library (\sref{sec:library}) is found. It takes precedence over
both the installation-time directory and the directory that may be specified
via the environment variable \verb+$MENHIR_STDLIB+.
\docswitch{\ostdlib \nt{directory}} This switch exists only for
backwards-compatibility and is ignored.
\docswitch{\ostrict} This switch causes several warnings about the grammar
and about the automaton to be considered errors. This includes warnings about
......@@ -1445,13 +1443,7 @@ list is represented by the empty string, and a non-empty list is delimited
with parentheses and comma-separated.
The standard library is stored in a file named \standardmly, which is
installed at the same time as \menhir. By default, \menhir attempts to find this
file in the directory where this file was installed. This can be overridden by
setting the environment variable
\verb+$MENHIR_STDLIB+. If defined, this variable should contain the path of
the directory where \texttt{standard.mly} is stored. (This path may
end with a \texttt{/} character.) This can be overridden also via the
command line switch \ostdlib.
embedded inside \menhir when it is built.
The command line switch \onostdlib instructs \menhir to \emph{not} load the
standard library.
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