on the way for 3.22.2

[simgrid.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0fd26a8..724164d 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -92,8 +92,8 @@ endif()
 
 set(SIMGRID_VERSION_MAJOR "3")
 set(SIMGRID_VERSION_MINOR "22")
-set(SIMGRID_VERSION_PATCH "90")
-set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_PATCH "2")
+#set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
 
 set(SIMGRID_VERSION_DATE  "2019") # Year for copyright information
 
@@ -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)