Commit 9de2e573 authored by POTTIER Francois's avatar POTTIER Francois

Update the manual accordingly.

parent b99fe204
......@@ -4326,14 +4326,14 @@ compiler.
suggested link flags, and exit. These flags are intended to be passed to
\texttt{ocamlc} when producing a bytecode executable. What flags are
suggested? In the absence of the \otable switch, no flags are suggested. When
\otable is set, the object file \texttt{menhirLib.cmo} is suggested, so as to
\otable is set, the object file \texttt{menhirLib.cma} is suggested, so as to
ensure that \menhirlib is linked in.
\docswitch{\osuggestlinko} This switch causes \menhir to print a set of
suggested link flags, and exit. These flags are intended to be passed to
\texttt{ocamlopt} when producing a native code executable. What flags are
suggested? In the absence of the \otable switch, no flags are suggested. When
\otable is set, the object file \texttt{menhirLib.cmx} is suggested, so as to
\otable is set, the object file \texttt{menhirLib.cmxa} is suggested, so as to
ensure that \menhirlib is linked in.
\docswitch{\osuggestmenhirlib} This switch causes \menhir to print (the
......
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