X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8481c7a517dd1a9f290a2a31f8c3a2b04e9c5ddd..febc73d27e83e3780002a5b2a4f14399ce0781ec:/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)