model-checker : restore sequential system state comparison (parallel version is slowe...

[simgrid.git] / INSTALL

diff --git a/INSTALL b/INSTALL
index 8410aeb..bb8150c 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -32,7 +32,7 @@ not only SimGrid related.
 $ make
 
 (3) Test it (optional)
 $ make
 
 (3) Test it (optional)

-$ make check 
+$ make check

 $ ctest
 
 (4) Install it
 $ ctest
 
 (4) Install it


@@ -41,11 +41,10 @@ $ make install
 
 Dependencies
 ============
 
 Dependencies
 ============

-SimGrid archives do not have any firm dependencies. 
+SimGrid archives do not have any firm dependencies.

 
 If you want to compile, you must have installed perl and cmake version 2.6 or
 above.
 
 If you want to compile, you must have installed perl and cmake version 2.6 or
 above.

-In order to improve memory management you should install libpcre.

 
 If you want to compile the java bindings, you have to have a java compiler, and
 the jni.h header file (available from the JDK).
 
 If you want to compile the java bindings, you have to have a java compiler, and
 the jni.h header file (available from the JDK).