Commit 634b9583 authored by POTTIER Francois's avatar POTTIER Francois

Updated CHANGES and INSTALLATION.

parent 17aaaafd
2015/12/30:
Prevented an incorrect installation that would take place if USE_OCAMLFIND
was given during "make all" but not during "make install". Added a command
line directive --suggest-ocamlfind.
2015/11/11:
Fixed a severe bug in Menhir 20151110 which (when using the code back-end)
could cause a generated parser to crash. Thanks to ygrek for reporting the
......
......@@ -28,9 +28,12 @@ be stored. These files are copied to the following places:
$PREFIX/share/menhir/
$PREFIX/doc/menhir/
The support library, MenhirLib, is either installed via ocamlfind, if
available, or placed within $PREFIX/share/menhir. Menhir's --suggest
options help determine where and how it was installed.
The support library, MenhirLib, is either installed via ocamlfind or placed
within $PREFIX/share/menhir. By default, ocamlfind is used if it is found in
the PATH. This decision may be overridden by setting USE_OCAMLFIND to either
true or false when running "make all".
Menhir's --suggest options help determine where and how MenhirLib was installed.
The documentation includes a reference manual and a number of demos.
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