+ set(enable_lua false CACHE TYPE INTERNAL FORCE)
+ set(enable_ruby false CACHE TYPE INTERNAL FORCE)
+ set(enable_smpi false CACHE TYPE INTERNAL FORCE)
+ set(enable_gtnets false CACHE TYPE INTERNAL FORCE)
+ set(enable_model-checking false CACHE TYPE INTERNAL FORCE)
+ mark_as_advanced(enable_supernovae)
+ mark_as_advanced(enable_maintainer_mode)
+ mark_as_advanced(enable_lua)
+ mark_as_advanced(enable_ruby)
+ mark_as_advanced(enable_smpi)
+ mark_as_advanced(enable_gtnets)
+ mark_as_advanced(gtnets_path)
+ mark_as_advanced(enable_model-checking)
+endif(WIN32 OR APPLE)
+
+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)