HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| d6ce1786 C |
1 | REQUIREMENTS |
| 2 | ||
| 3 | You need Objective Caml 3.09 or later and GNU make. | |
| 4 | ||
| 5 | HOW TO INSTALL | |
| 6 | ||
| 7 | If you wish to install via ocamlfind, make sure that ocamlfind is in | |
| 8 | your PATH. (Remember that prefixing a command with sudo affects its | |
| 9 | PATH.) | |
| 10 | ||
| 11 | Run the following command: | |
| 12 | ||
| 13 | make PREFIX=/usr/local install | |
| 14 | ||
| 15 | If your machine does not have the native code Objective Caml compiler | |
| 16 | (ocamlopt), but does have the bytecode compiler (ocamlc), then instead | |
| 17 | of the above command, use: | |
| 18 | ||
| 19 | make PREFIX=/usr/local TARGET=byte all install | |
| 20 | ||
| 21 | The value of the PREFIX variable can be changed to control where | |
| 22 | the software, the standard library, and the documentation should | |
| 23 | be stored. These files are copied to the following places: | |
| 24 | ||
| 25 | $PREFIX/bin/ | |
| 26 | $PREFIX/share/menhir/ | |
| 27 | $PREFIX/doc/menhir/ | |
| 28 | ||
| 29 | The support library, MenhirLib, is either installed via ocamlfind, if | |
| 30 | available, or placed within $PREFIX/share/menhir. Menhir's --suggest | |
| 31 | options help determine where and how it was installed. | |
| 32 | ||
| 33 | The documentation includes a reference manual and a number of demos. | |
| 34 |