From e93bd4b841fecdf461434ee45a7dd58e62e4d5b1 Mon Sep 17 00:00:00 2001 From: navarrop Date: Thu, 24 Jun 2010 14:51:44 +0000 Subject: [PATCH] Disable mc with supernovae mode. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7934 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- buildtools/Cmake/Option.cmake | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake index 4a073949bd..df92f593ca 100644 --- a/buildtools/Cmake/Option.cmake +++ b/buildtools/Cmake/Option.cmake @@ -42,6 +42,11 @@ if(WIN32) #actually not enable with windows set(enable_maintainer_mode false 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) -- 2.20.1