set(BIBTEX2HTML ${BIBTEX2HTML} CACHE PATH "Path to bibtex2html")
set(gtnets_path ${gtnets_path} CACHE PATH "Path to gtnets lib")
+set(custom_flags ${custom_flags} CACHE FORCE "Customers flags add to cmake_c_flag")
if(NOT prefix)
set(prefix "/usr/local/simgrid/" CACHE PATH "Path where to install project")
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)
+#mark_as_advanced(enable_print_message)
mark_as_advanced(BIBTEX2HTML_PATH)
mark_as_advanced(LUA_LIB_PATH_1)
mark_as_advanced(LUA_LIB_PATH_2)