X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8a391a6fd88bb216ecf48d5e8489d41fcbd55983..83d62d72a9468f9f8e97b677dd40d5a2bd60ba86:/CMakeLists.txt?ds=sidebyside

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0fd26a8082..34d5caa427 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -358,6 +358,9 @@ endif()
 
 if (minimal_java)
   message(STATUS "Don't look for libunwind as we build a minimal jar file.")
+  if(enable_model-checking)
+    message(FATAL_ERROR "You cannot enable model-checking and minimal_java at the same time.")
+  endif()
 else()
   include(FindLibunwind)
   if(HAVE_LIBUNWIND)