[trace] removing constant that is used only once

[simgrid.git] / buildtools / Cmake / Option.cmake

diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake
index 4c657c8..2a7deea 100644 (file)
--- a/buildtools/Cmake/Option.cmake
+++ b/buildtools/Cmake/Option.cmake
@@ -34,7 +34,6 @@ set(enable_lua off CACHE TYPE INTERNAL FORCE)
 set(enable_ruby off CACHE TYPE INTERNAL FORCE)
 endif(WIN32 OR APPLE) 
 
-option(enable_doc "Whether we should rebuild the documentation" off)
 option(enable_compile_optimizations "" on)
 option(enable_compile_warnings "Whether compilation warnings should be turned into errors." off)
 option(enable_maintainer_mode "Whether flex and flexml files should be rebuilt." off)
@@ -46,7 +45,6 @@ option(enable_memcheck "Enable memcheck." off)
 option(enable_print_message "Enable print message during config." off)
 option(enable_model-checking "" off)
 option(enable_lib_static "" off)
-option(GRAS_IS_BROKEN "Set some tests are broken" off)
 
 if(enable_supernovae AND enable_model-checking)
        set(enable_model-checking false CACHE TYPE INTERNAL FORCE)