From: navarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 24 Jun 2010 14:51:44 +0000 (+0000)
Subject: Disable mc with supernovae mode.
X-Git-Tag: v3_5~878
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e93bd4b841fecdf461434ee45a7dd58e62e4d5b1

Disable mc with supernovae mode.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7934 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

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)