X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45d00a93682182156762f2ca97b1f2746746c8b1..1f606358fff6ef994cd58570e7c77ee6259d6a4e:/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)