X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6cf080d88528924906f317ce386f57ddf543cba1..9d653c0b76107435211df2b1ea1230f316e7e9eb:/tools/cmake/Option.cmake

diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake
index 3295e0b538..033192778e 100644
--- a/tools/cmake/Option.cmake
+++ b/tools/cmake/Option.cmake
@@ -36,18 +36,23 @@ 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)
   option(enable_smpi "Whether SMPI is included in the library." off)
-  option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
 else()
   option(enable_smpi "Whether SMPI is included in the library." on)
   # PAPI does not support windows (they did in 3.7, but not anymore in 5.x)
   # See http://icl.cs.utk.edu/papi/custom/index.html?lid=62&slid=96
   option(enable_smpi_papi    "Whether SMPI supports PAPI bindings." off)
-  option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
 endif()
+option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
 option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
 
 # Internal targets used by jenkins