Like java, python breaks mmalloc with FreeBSD+MC. Disable it.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3e90c9a..5356565 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -375,9 +375,15 @@ if(enable_model-checking)
   include_directories(${LIBDW_INCLUDE_DIR} ${LIBELF_INCLUDE_DIR} ${LIBEVENT_INCLUDE_DIR})
   set(SIMGRID_DEP "${SIMGRID_DEP} ${LIBEVENT_LIBRARIES} ${LIBELF_LIBRARIES} ${LIBDW_LIBRARIES}")
   set(SIMGRID_HAVE_MC 1)
-  if("${CMAKE_SYSTEM}" MATCHES "FreeBSD" AND enable_java)
-    message(WARNING "FreeBSD + Model-Checking + Java = too much for now. Disabling java")
-    set(enable_java FALSE)
+  if("${CMAKE_SYSTEM}" MATCHES "FreeBSD")
+    if (enable_java)
+      message(WARNING "FreeBSD + Model-Checking + Java = too much for now. Disabling java")
+      set(enable_java FALSE)
+    endif()
+    if (enable_python)
+      message(WARNING "FreeBSD + Model-Checking + Python = too much for now. Disabling python")
+      set(enable_python FALSE)
+    endif()
   endif()
 else()
   SET(SIMGRID_HAVE_MC 0)