From 185e5aa83f3cc2e8e99acc3e040aac6750a7c2e9 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@unibas.ch>
Date: Tue, 29 Nov 2016 18:12:45 +0100
Subject: [PATCH] disable java for MC FreeBSD builds, as it breaks mmalloc

---
 CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8c0e04c4c1..4857bd4a0d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -393,6 +393,10 @@ if(enable_model-checking)
   include_directories(${LIBDW_INCLUDE_DIRS} ${LIBEVENT_INCLUDE_DIRS})
   set(SIMGRID_DEP "${SIMGRID_DEP} ${LIBEVENT_LIBRARIES} ${LIBDW_LIBRARIES}")
   set(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)
+  endif()
 else()
   SET(HAVE_MC 0)  
   set(HAVE_MMALLOC 0)
-- 
2.20.1