From 0c9a488bea5614f82429c79e37c13f97afeca1dd Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Sat, 4 Jan 2025 14:12:25 +1100 Subject: [PATCH] chore: set release bit --- src/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 95eece17470a..7a3c360ab8ef 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 16) 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)