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

[simgrid.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f934f2f..5356565 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -327,9 +327,9 @@ endif()
 CHECK_INCLUDE_FILE("sys/sendfile.h" HAVE_SENDFILE_H)
 CHECK_FUNCTION_EXISTS(sendfile HAVE_SENDFILE)
 if(HAVE_SENDFILE_H AND HAVE_SENDFILE)
-  set(HAVE_SENDFILE 1)
+  set(SG_HAVE_SENDFILE 1)
 else()
-  set(HAVE_SENDFILE 0)
+  set(SG_HAVE_SENDFILE 0)
 endif()
 
 if(enable_model-checking AND NOT "${CMAKE_SYSTEM}" MATCHES "Linux|FreeBSD")
@@ -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)