-rm -rf *
-cmake -Denable_lua=on -Denable_ruby=on -Denable_lib_static=on -Denable_graphviz=on -Denable_model-checking=on -Denable_tracing=on -Denable_latency_bound_tracking=on -Dwith_context=pthread ..
-ctest -D ExperimentalStart
-ctest -D ExperimentalConfigure
-ctest -D ExperimentalBuild
-ctest -D ExperimentalTest
-ctest -D ExperimentalSubmit
\ No newline at end of file
+ #supernovae
+ cmake \
+ -Denable_lua=on \
+ -Denable_ruby=on \
+ -Denable_java=on \
+ -Denable_tracing=on \
+ -Denable_smpi=on \
+ -Denable_supernovae=on \
+ -Denable_compile_optimizations=on \
+ -Denable_compile_warnings=on \
+ -Denable_lib_static=off \
+ -Denable_model-checking=off \
+ -Denable_latency_bound_tracking=off \
+ -Denable_gtnets=off .
+ ctest -D ExperimentalStart
+ ctest -D ExperimentalConfigure
+ ctest -D ExperimentalBuild
+ ctest -D ExperimentalTest
+ ctest -D ExperimentalSubmit
+ make clean
+
+ #MC
+ cmake \
+ -Denable_latency_bound_tracking=on \
+ -Denable_gtnets=on \
+ -Dgtnets_path=./gtnets_install \
+ -Denable_coverage=on \
+ -Denable_model-checking=on \
+ -Denable_compile_optimizations=off \
+ -Denable_auto_install=on \
+ -DCMAKE_INSTALL_PREFIX=./simgrid_install \
+ -Denable_supernovae=off .
+ ctest -D ExperimentalStart
+ ctest -D ExperimentalConfigure
+ ctest -D ExperimentalBuild
+ ctest -D ExperimentalTest
+ ctest -D ExperimentalCoverage
+ ctest -D ExperimentalSubmit
+ make clean
+ fi
+fi