From f17101cfbeec42b30545d5c6645cc7daf97b09ce Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 5 Feb 2019 10:15:11 -0800 Subject: [PATCH] chore(src/CMakeLists): update version number --- src/CMakeLists.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 78c86cd7da..d0d79956f0 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -3,9 +3,9 @@ if ((${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERSION} GREATER 3.1) OR (${CMAKE_MAJO cmake_policy(SET CMP0054 NEW) endif() project(LEAN CXX C) -set(LEAN_VERSION_MAJOR 3) -set(LEAN_VERSION_MINOR 3) -set(LEAN_VERSION_PATCH 1) +set(LEAN_VERSION_MAJOR 4) +set(LEAN_VERSION_MINOR 0) +set(LEAN_VERSION_PATCH 0) set(LEAN_VERSION_IS_RELEASE 0) # This number is 1 in the release revision, and 0 otherwise. set(LEAN_SPECIAL_VERSION_DESC "" CACHE STRING "Additional version description like 'nightly-2018-03-11'") set(LEAN_VERSION_STRING "${LEAN_VERSION_MAJOR}.${LEAN_VERSION_MINOR}.${LEAN_VERSION_PATCH}")