Enable supernovae only if all needed tools are installed.

[simgrid.git] / buildtools / Cmake / Option.cmake

diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake
index 8d8a4af..e89b3f8 100644 (file)
--- a/buildtools/Cmake/Option.cmake
+++ b/buildtools/Cmake/Option.cmake
@@ -49,16 +49,12 @@ option(enable_print_message "Enable print message during config." off)
 option(enable_model-checking "" off)
 option(enable_lib_static "" off)
 option(enable_graphviz "" off)
+option(GRAS_IS_BROKEN "Set some tests are broken" off)
 
 if(WIN32 OR APPLE) #actually not enable with windows and Apple
-       message("-- Mode supernovae and maintainer are disabled.")
        message("-- Smpi and GTnets are disabled.")
-       set(enable_supernovae false CACHE TYPE INTERNAL FORCE)
-       set(enable_maintainer_mode false CACHE TYPE INTERNAL FORCE)
        set(enable_smpi false CACHE TYPE INTERNAL FORCE)
        set(enable_gtnets false CACHE TYPE INTERNAL FORCE) 
-       mark_as_advanced(enable_supernovae)
-    mark_as_advanced(enable_maintainer_mode)
     mark_as_advanced(enable_smpi)
     mark_as_advanced(enable_gtnets)
     mark_as_advanced(gtnets_path)
@@ -116,4 +112,5 @@ mark_as_advanced(HAVE_GRAPH_H)
 mark_as_advanced(HAVE_GRAPH_LIB)
 mark_as_advanced(HAVE_CGRAPH_LIB)
 mark_as_advanced(HAVE_AGRAPH_LIB)
-mark_as_advanced(HAVE_CDT_LIB)
\ No newline at end of file
+mark_as_advanced(HAVE_CDT_LIB)
+mark_as_advanced(GRAS_IS_BROKEN)
\ No newline at end of file