Merge branch 'master' into MC_LTL

[simgrid.git] / doc / installSimgrid.doc

diff --git a/doc/installSimgrid.doc b/doc/installSimgrid.doc
index 4568353..46cfd83 100644 (file)
--- a/doc/installSimgrid.doc
+++ b/doc/installSimgrid.doc
@@ -41,7 +41,6 @@ For Windows :
        enable_compile_warnings         ON/OFF or TRUE/FALSE or 1/0
        enable_smpi                     ON/OFF or TRUE/FALSE or 1/0
        enable_maintainer_mode          ON/OFF or TRUE/FALSE or 1/0
-       enable_supernovae               ON/OFF or TRUE/FALSE or 1/0
        enable_tracing                  ON/OFF or TRUE/FALSE or 1/0
        enable_coverage                 ON/OFF or TRUE/FALSE or 1/0
        enable_memcheck                 ON/OFF or TRUE/FALSE or 1/0
@@ -72,8 +71,6 @@ For Windows :
 
   \li enable_maintainer_mode : set to true it remakes some files. 
 
-  \li enable_supernovae : set to true make one file for each lib and compile with those generated files.
-
   \li enable_tracing : To enable the generation of simulation traces for visualization.
 
   \li enable_coverage : When set to true this option enable code coverage by setting -fprofile-arcs -ftest-coverage flags.
@@ -110,7 +107,6 @@ Those options are initialized the first time you launch "cmake ." whithout speci
 enable_gtnets                  on
 enable_lua                     on
 enable_smpi                    on
-enable_supernovae              on
 enable_tracing                 on
 enable_compile_optimizations   on
 enable_debug                   on