option(enable_java "This variable set the java context." off)
option(enable_lua "This variable set lua use." on)
option(enable_ruby "This variable set ruby use." on)
-
+option(enable_doc "Setting true this variable enable making the simgrid documentation." off)
option(enable_compile_optimizations "" off)
option(enable_compile_warnings "" off)
option(enable_maintainer_mode "Permit to make flex and flexml files." off)
message("Mode supernovae and maintainer disable with Windows.")
set(enable_supernovae false CACHE TYPE INTERNAL FORCE)
set(enable_maintainer_mode false CACHE TYPE INTERNAL FORCE)
- set(with_context "windows" CACHE TYPE INTERNAL FORCE)
endif(WIN32)
+if(enable_supernovae AND enable_model-checking)
+ set(enable_model-checking false CACHE TYPE INTERNAL FORCE)
+ message("\n\nWith supernovae mode the model checking must be disable.!!!\n\n")
+endif(enable_supernovae AND enable_model-checking)
+
mark_as_advanced(enable_coverage)
mark_as_advanced(enable_memcheck)
mark_as_advanced(enable_print_message)