cd simgrid-trunk
#Make the ucontext mode
-cmake -Dwith_context=ucontext -Denable_coverage=on ./
+cmake -Dwith_context=ucontext ./
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
ctest -D ExperimentalSubmit
make clean
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
ctest -D ExperimentalSubmit
make clean
#Make the tracing mode
-cmake -Dwith_context=auto -Denable_tracing=on ./
+cmake -Dwith_context=auto -Denable_tracing=on./
+ctest -D ExperimentalStart
+ctest -D ExperimentalConfigure
+ctest -D ExperimentalBuild
+ctest -D ExperimentalTest
+ctest -D ExperimentalSubmit
+make clean
+
+#Make the model-checking mode
+cmake -Denable_model-checking=on -Denable_coverage=on ./
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
make clean
#Make the full flags mode
-cmake -Denable_tracing=off -Denable_compile_warnings=on -Denable_compile_optimizations=on -Ddisable_lua=on -Ddisable_java=on -Ddisable_ruby=on ./
+cmake -Denable_model-checking=off -Denable_coverage=off -Denable_tracing=off -Denable_compile_warnings=on -Denable_compile_optimizations=on -Denable_lua=off -Denable_java=off -Denable_ruby=off ./
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
ctest -D ExperimentalSubmit
make clean
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
ctest -D ExperimentalSubmit
make clean
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
- ctest -D ExperimentalCoverage
ctest -D ExperimentalSubmit
make clean
fi
fi
+
+#Make the memcheck mode
+cmake -Denable_gtnets=off -Denable_memcheck=on ./
+ctest -D ExperimentalStart
+ctest -D ExperimentalConfigure
+ctest -D ExperimentalBuild
+ctest -D ExperimentalMemCheck
+ctest -D ExperimentalSubmit
+make clean
\ No newline at end of file