X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/97b9864888c2532f231a0b5abba04e2ea31c77d5..4fc0e111d1f1a321148fbd950405c91dda6b4290:/tools/cmake/Option.cmake diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake index e34e4bb1da..c43b5e3fc3 100644 --- a/tools/cmake/Option.cmake +++ b/tools/cmake/Option.cmake @@ -31,7 +31,6 @@ option(enable_java "Whether the Java bindings are activated." off) option(enable_lib_in_jar "Whether the native libraries are bundled in a Java jar file" on) option(enable_lua "Whether the Lua bindings are activated." off) -option(enable_tracing "Tracing simulations for visualization." on) option(enable_model-checking "Turn this on to experiment with our prototype of model-checker (hinders the simulation's performance even if turned off at runtime)" off) option(enable_jedule "Jedule output of SimDAG." off)