From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 9 Jan 2019 08:51:55 +0000 (+0100)
Subject: Like java, python breaks mmalloc with FreeBSD+MC. Disable it.
X-Git-Tag: v3_22~626
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/882355d6bdf10129df36e89e4a0a5182959600ff

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3e90c9a34f..5356565f50 100644
--- 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)