Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the stateful model-checking from the archive. It's not working anymore
[simgrid.git] / tools / cmake / Option.cmake
index e34e4bb..e35aa12 100644 (file)
@@ -1,5 +1,5 @@
 ### ARGs use -D[var]=[ON/OFF] or [1/0] or [true/false](see below)
-### ex: cmake -Denable_java=ON -Denable_ns3=ON ./
+### ex: cmake -Denable_ns3=ON ./
 
 set(BIBTEX2HTML ${BIBTEX2HTML} CACHE PATH "Path to bibtex2html")
 
@@ -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)
@@ -20,40 +18,67 @@ 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)
+option(enable_documentation "Whether to produce documentation" off)
 
-option(enable_ns3            "Whether ns3 model is activated." off)
-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_ns3            "Whether ns-3 model is activated." off)
+option(enable_msg            "Java was removed from SimGrid v3.33. Please do not enable it here." off)
+mark_as_advanced(enable_msg)
+if (enable_msg)
+  message(FATAL_ERROR "MSG was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
+endif()
 
-option(enable_lua            "Whether the Lua bindings are activated." off)
-option(enable_tracing        "Tracing simulations for visualization." on)
+option(enable_java            "Java was removed from SimGrid v3.33. Please do not enable it here." off)
+mark_as_advanced(enable_java)
+if (enable_java)
+  message(FATAL_ERROR "Java was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
+endif()
 
-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)
+option(minimal-bindings      "Whether to compile the Python bindings libraries with the minimal dependency set" off)
+mark_as_advanced(minimal-bindings)
 
-if(WIN32)
-  option(enable_smpi "Whether SMPI in included in library." off)
-  option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
-else()
-  option(enable_smpi "Whether SMPI in included in library." on)
-  option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
+option(enable_model-checking "Turn this on to experiment with our prototype of model-checker" on)
+option(enable-model-checking "Please set 'enable_model-checking' instead" on)
+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_smpi "Whether SMPI is included in the library." on)
+option(enable_smpi_papi    "Whether SMPI supports PAPI bindings." off)
+
+option(enable_testsuite_smpi_MPICH3 "Whether the test suite form MPICH 3 should be built." off)
+option(enable_smpi_MPICH3_testsuite "Please use 'enable_testsuite_smpi_MPICH3' instead." off)
+mark_as_advanced(enable_smpi_MPICH3_testsuite)
+if(enable_smpi_MPICH3_testsuite)
+  SET(enable_testsuite_smpi_MPICH3 ON CACHE BOOL "Whether the test suite form MPICH 3 should be built." FORCE)
+endif()
+
+option(enable_testsuite_smpi_MBI "Whether the test suite from MBI should be built." off)
+option(enable_smpi_MBI_testsuite "Please use 'enable_testsuite_smpi_MBI' instead." off)
+mark_as_advanced(enable_smpi_MBI_testsuite)
+if(enable_smpi_MBI_testsuite)
+  SET(enable_testsuite_smpi_MBI ON CACHE BOOL "Whether the test suite from MBI should be built." FORCE)
 endif()
-option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
 
+option(enable_testsuite_McMini "Whether the test suite from McMini should be built." off)
 
 # Internal targets used by jenkins
 ###
+option(enable_fortran "Whether fortran is used with SMPI. Turned on by default if gfortran is found." on)
 option(enable_coverage "Whether coverage should be enabled." off)
 mark_as_advanced(enable_coverage)
 option(enable_memcheck "Enable memcheck." off)
 mark_as_advanced(enable_memcheck)
 option(enable_memcheck_xml "Enable memcheck with xml output." off)
 mark_as_advanced(enable_memcheck_xml)
+option(enable_address_sanitizer "Whether address sanitizer is turned on." off)
+mark_as_advanced(enable_address_sanitizer)
+option(enable_thread_sanitizer "Whether thread sanitizer is turned on." off)
+mark_as_advanced(enable_thread_sanitizer)
+option(enable_undefined_sanitizer "Whether undefined sanitizer is turned on." off)
+mark_as_advanced(enable_undefined_sanitizer)
 
 # Cmake, Y U NO hide your garbage??
 ###