X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/07eb7317b31474d0b6702c255741b194dbfd2d6d..aa192f6d7ece3eefc304338f852824cc15be6909:/CMakeLists.txt diff --git a/CMakeLists.txt b/CMakeLists.txt index 333c53f085..b9c2a9718e 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,7 +1,6 @@ cmake_minimum_required(VERSION 2.6) -SET(CMAKE_BUILD_TYPE ModelChecker) -IF(CMAKE_BUILD_TYPE STREQUAL "ModelChecker") +IF(CMAKE_BUILD_TYPE STREQUAL "ModelChecker") SET(enable_coverage ON) SET(enable_model-checking ON) SET(enable_lua ON) @@ -54,9 +53,10 @@ set(CMAKE_Fortran_LINK_FLAGS "" CACHE TYPE INTERNAL FORCE) # 3.7.{0,1} -> release 3.7, 3.7.1 # 3.8.{0,1} -> release 3.8, 3.8.1 # 3.9.0 -> release 3.9 +# 3.10.0 -> release 3.10 set(SIMGRID_VERSION_MAJOR "3") -set(SIMGRID_VERSION_MINOR "9") +set(SIMGRID_VERSION_MINOR "10") set(SIMGRID_VERSION_PATCH "0") if(${SIMGRID_VERSION_PATCH} EQUAL "0")