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 "MSG was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
+ message(FATAL_ERROR "MSG was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
endif()
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 "Java was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
+ message(FATAL_ERROR "Java was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
endif()
option(minimal-bindings "Whether to compile the Python bindings libraries with the minimal dependency set" off)
mark_as_advanced(minimal-bindings)
-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 "Turn this on to experiment with our prototype of model-checker" on)
option(enable-model-checking "Please set 'enable_model-checking' instead" off)
mark_as_advanced(enable-model-checking)
if(enable-model-checking)