From 882355d6bdf10129df36e89e4a0a5182959600ff Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 9 Jan 2019 09:51:55 +0100 Subject: [PATCH] Like java, python breaks mmalloc with FreeBSD+MC. Disable it. --- CMakeLists.txt | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) 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) -- 2.20.1