Fix distcheck.

[simgrid.git] / tools / cmake / Option.cmake

diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake
index 05b60a7..84bb93e 100644 (file)
--- a/tools/cmake/Option.cmake
+++ b/tools/cmake/Option.cmake
@@ -9,8 +9,6 @@ else()
   set(CMAKE_INSTALL_PREFIX ${CMAKE_INSTALL_PREFIX} CACHE PATH "Path where this project should be installed")
 endif()
 
-option(release "Whether Release Mode is activated (disable tests on experimental parts)" on)
-
 # How to build
 ###
 option(enable_compile_optimizations "Whether to produce efficient code for the SimGrid library" on)
@@ -26,6 +24,7 @@ option(enable_documentation "Whether to produce documentation" off)
 
 option(enable_ns3            "Whether ns-3 model is activated." off)
 option(enable_java           "Whether the Java bindings are activated." off)
+option(enable_msg            "Whether the MSG module is activated." off)
 option(enable_lib_in_jar     "Whether the native libraries are bundled in a Java jar file" on)
 option(minimal-bindings      "Whether to compile the bindings libraries (Java/Python) with the minimal dependency set" off)
 mark_as_advanced(minimal-bindings)
@@ -36,6 +35,12 @@ endif()
 option(enable_lua            "Whether the Lua bindings are activated." off)
 
 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-model-checking "Please set 'enable_model-checking' instead" off)
+mark_as_advanced(enable-model-checking)
+if(enable-model-checking)
+  SET(enable_model-checking ON CACHE BOOL "Whether to compile the model-checker" FORCE)
+endif()
+
 option(enable_jedule         "Jedule output of SimDAG." off)
 
 if(WIN32)