HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 34e49164 C |
1 | You must first install a recent version of |
| 2 | - OCaml (at least 3.09.2), | |
| 3 | see http://caml.inria.fr/download.en.html | |
| 4 | - the Menhir parser generator (at least 20080912), | |
| 5 | see http://cristal.inria.fr/~fpottier/menhir/ | |
| 6 | (unless you got a version of the coccinelle source with | |
| 7 | the SmPL parser pre-generated) | |
| 8 | - Python and its development files (python-dev) | |
| 9 | (unless you run configure with the --without-python option) | |
| 485bce71 C |
10 | - pdftk and graphviz (with PDF support) if you want to use |
| 11 | the -graphical_trace option | |
| 34e49164 C |
12 | |
| 13 | Then simply type | |
| 14 | ./configure | |
| 15 | make depend | |
| 16 | make | |
| 17 | make install | |
| 18 | ||
| b1b2de81 | 19 | |
| 708f4980 C |
20 | |
| 21 | ||
| 22 | ||
| 23 | 'make' will compile the bytecode version by default. | |
| 24 | You could use 'make all.opt' to have the optimized version. | |
| 25 | If you compile both, 'make install' will take care of that | |
| 26 | and install both, spatch and spatch.opt. | |
| 27 | If you use only one of them, 'make install' will install | |
| 28 | the one you have compiled, either spatch ou spatch.opt, | |
| 29 | under the front-end spatch. You could use 'make world' to | |
| 30 | compile the bytecode and the optimized code version. | |
| 31 | ||
| 32 | We provide the files generated by menhir in the tarball. | |
| 33 | However, 'make distclean' will remove them. You could | |
| 34 | either restore them from the tarball or install menhir. | |
| 35 | Using 'make clean' should be safe with regards to these files. |