Again for windows.

[simgrid.git] / buildtools / Cmake / src / CMakeOption.txt

diff --git a/buildtools/Cmake/src/CMakeOption.txt b/buildtools/Cmake/src/CMakeOption.txt
index df9a68b..59cc536 100644 (file)
--- a/buildtools/Cmake/src/CMakeOption.txt
+++ b/buildtools/Cmake/src/CMakeOption.txt
@@ -10,6 +10,7 @@ if(NOT with_context)
        set(with_context "auto" CACHE TYPE INTERNAL FORCE)
 endif(NOT with_context)
 
+option(enable_smpi "This variable set smpi lib." on)
 option(enable_gtnets "This variable set the gtnets context." on)
 option(enable_java "This variable set the java context." off)
 option(enable_lua "This variable set lua use." on)
@@ -23,7 +24,18 @@ option(enable_tracing "Tracing MSG (for now) simulations for visualization." off
 option(enable_coverage "Enable coverage." off)
 option(enable_memcheck "Enable memcheck." off)
 option(enable_print_message "Enable print message during config." off)
+option(enable_model-checking "" off)
 
+if(WIN32) #actually not enable with windows
+       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)
+
+mark_as_advanced(enable_coverage)
+mark_as_advanced(enable_memcheck)
+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)
@@ -37,7 +49,6 @@ mark_as_advanced(BUILDNAME)
 mark_as_advanced(ADDR2LINE)
 mark_as_advanced(BIBTOOL_PATH)
 mark_as_advanced(BUILD_TESTING)
-mark_as_advanced(CAT_EXE)
 mark_as_advanced(CMAKE_BUILD_TYPE)
 mark_as_advanced(CMAKE_INSTALL_PREFIX)
 mark_as_advanced(DART_ROOT)
@@ -46,14 +57,10 @@ mark_as_advanced(FIG2DEV_PATH)
 mark_as_advanced(FLEXML_EXE)
 mark_as_advanced(FLEX_EXE)
 mark_as_advanced(PERL_EXE)
-mark_as_advanced(GCC_PATH)
 mark_as_advanced(GCOV_PATH)
 mark_as_advanced(ICONV_PATH)
 mark_as_advanced(MAKE_PATH)
-mark_as_advanced(PWD_EXE)
 mark_as_advanced(SED_EXE)
-mark_as_advanced(SET_MAKE)
-mark_as_advanced(SH_EXE)
 mark_as_advanced(SVN)
 mark_as_advanced(GIT)
 mark_as_advanced(VALGRIND_PATH)