X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/103a566e766b806f39e5e1db8d97a0906280297a..c383def0e1485411c4d03c227cf1846a7a6ff278:/CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c6a66185ab..5cf869c0e5 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -382,7 +382,6 @@ endif()
 if(enable_model-checking AND NOT "${CMAKE_SYSTEM}" MATCHES "Linux")
   message(WARNING "Support for model-checking has not been enabled on ${CMAKE_SYSTEM}: disabling it")
   set(enable_model-checking FALSE)
-  set(HAVE_MC 0)
 endif()
 
 if(enable_model-checking)
@@ -392,6 +391,7 @@ if(enable_model-checking)
   SET(SIMGRID_DEP "${SIMGRID_DEP} -ldw")
 else()
   SET(HAVE_MC 0)  
+  set(HAVE_MMALLOC 0)
 endif()
 
 if (enable_model-checking AND enable_ns3)