-#pthread
-cmake -Denable_lua=on \
--Denable_ruby=on \
--Denable_lib_static=on \
--Denable_graphviz=on \
--Denable_model-checking=off \
--Denable_tracing=on \
--Denable_latency_bound_tracking=off \
--Denable_gtnets=off \
--Denable_java=on \
--Dwith_context=pthread \
--Denable_smpi=on .
+#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 .