INSTALLATION 1.08 KB
Newer Older
1 2
REQUIREMENTS

3
You need Objective Caml 4.02 or later, ocamlbuild, and GNU make.
4 5 6 7 8 9 10

HOW TO INSTALL

If you wish to install via ocamlfind, make sure that ocamlfind is in
your PATH. (Remember that prefixing a command with sudo affects its
PATH.)

11
Run the following commands:
12

13
  make PREFIX=/usr/local all
14 15 16 17 18 19
  make PREFIX=/usr/local install

If your machine does not have the native code Objective Caml compiler
(ocamlopt), but does have the bytecode compiler (ocamlc), then instead
of the above command, use:

20
  make PREFIX=/usr/local TARGET=byte all
21
  make PREFIX=/usr/local TARGET=byte install
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36

The value of the PREFIX variable can be changed to control where
the software, the standard library, and the documentation should
be stored. These files are copied to the following places:

  $PREFIX/bin/
  $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 documentation includes a reference manual and a number of demos.