Release coccinelle-0.2.0

[bpt/coccinelle.git] / install.txt

diff --git a/install.txt b/install.txt
index b9ee270..619665b 100644 (file)
--- a/install.txt
+++ b/install.txt
@@ -7,7 +7,8 @@ You must first install a recent version of
    the SmPL parser pre-generated)
  - Python and its development files (python-dev)
    (unless you run configure with the --without-python option)
-   
+ - pdftk and graphviz (with PDF support) if you want to use
+   the -graphical_trace option   
 
 Then simply type 
  ./configure
@@ -15,3 +16,23 @@ Then simply type
  make
  make install
 
+
+
+
+
+'make' will compile the bytecode version by default.
+You could use 'make all.opt' to have the optimized version.
+If you compile both, 'make install' will take care of that
+and install both, spatch and spatch.opt.
+If you use only one of them, 'make install' will install
+the one you have compiled, either spatch ou spatch.opt,
+under the front-end spatch. You could use 'make world' to
+compile the bytecode and the optimized code version.
+
+We provide the files generated by menhir in the tarball.
+However, 'make distclean' will remove them. You could
+either restore them from the tarball or install menhir.
+Using 'make clean' should be safe with regards to these files.
+
+Note: The test target is intended for developers. In particular,
+       you should not expect that every test will pass.