install.txt

   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)
  10  - pdftk and graphviz (with PDF support) if you want to use
  11    the -graphical_trace option
  12
  13 Then simply type
  14  ./configure
  15  make depend
  16  make
  17  make install
  18
  19
  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.
  36
  37 Note: The test target is intended for developers. In particular,
  38         you should not expect that every test will pass.