set(SIMGRID_VERSION_MAJOR "3")
set(SIMGRID_VERSION_MINOR "22")
-set(SIMGRID_VERSION_PATCH "1")
-#set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
+set(SIMGRID_VERSION_PATCH "90")
+set(SIMGRID_VERSION_EXTRA "-DEVEL") # Extra words to add to version string (e.g. -rc1)
set(SIMGRID_VERSION_DATE "2019") # Year for copyright information
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)