fix Mac OSX build

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c6a6618..5cf869c 100644 (file)
--- 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)