Release coccinelle-0.2.0

[bpt/coccinelle.git] / install.txt

diff --git a/install.txt b/install.txt
index 8156c5f..619665b 100644 (file)
--- a/install.txt
+++ b/install.txt
@@ -16,12 +16,23 @@ Then simply type
  make
  make install
 
-Note:  '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 native code version.
 
+
+
+
+'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.