option(enable_documentation "Whether to produce documentation" off)
option(enable_ns3 "Whether ns-3 model is activated." off)
-option(enable_msg "Whether the MSG module 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_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)