X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/97b9864888c2532f231a0b5abba04e2ea31c77d5..17e66beb16f52e6ed5191e24b8220a2694805007:/tools/cmake/Option.cmake

diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake
index e34e4bb1da..dc14fd0f70 100644
--- a/tools/cmake/Option.cmake
+++ b/tools/cmake/Option.cmake
@@ -20,8 +20,6 @@ option(enable_mallocators           "Enable mallocators (disable only for debugg
 option(enable_maintainer_mode       "Whether flex and flexml files should be rebuilt." off)
 option(enable_debug                 "Turn this off to remove all debug messages at compile time (faster, but no debug activatable)" on)
 
-
-
 # Optional modules
 ###
 option(enable_documentation "Whether to produce documentation" on)
@@ -31,7 +29,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)
@@ -45,7 +42,6 @@ else()
 endif()
 option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
 
-
 # Internal targets used by jenkins
 ###
 option(enable_coverage "Whether coverage should be enabled." off)