From dc2533473114eb8656439ff2b9335209784aa640 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Tue, 1 Oct 2024 12:31:18 +1000 Subject: [PATCH] chore: set LEAN_VERSION_IS_RELEASE --- src/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 825c3ec998c6..2d4743ac98ee 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -12,7 +12,7 @@ project(LEAN CXX C) set(LEAN_VERSION_MAJOR 4) set(LEAN_VERSION_MINOR 12) set(LEAN_VERSION_PATCH 0) -set(LEAN_VERSION_IS_RELEASE 0) # This number is 1 in the release revision, and 0 otherwise. +set(LEAN_VERSION_IS_RELEASE 1) # 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}") if (LEAN_SPECIAL_VERSION_DESC)