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)
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)
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)