From 34cf4bc3ffc3a6bf4a320070d42bf994645ebcfa Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Mon, 4 Jan 2021 14:54:53 +0100 Subject: [PATCH] chore: fix LEAN_SPECIAL_VERSION_DESC --- src/CMakeLists.txt | 2 +- src/library/util.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 7b4e1e2f2c..1619c9f565 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -11,7 +11,7 @@ set(LEAN_VERSION_MAJOR 4) set(LEAN_VERSION_MINOR 0) set(LEAN_VERSION_PATCH 0) set(LEAN_VERSION_IS_RELEASE 1) # This number is 1 in the release revision, and 0 otherwise. -set(LEAN_SPECIAL_VERSION_DESC "4.0.0-M1" CACHE STRING "Additional version description like 'nightly-2018-03-11'") +set(LEAN_SPECIAL_VERSION_DESC "m1" 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) set(LEAN_VERSION_STRING "${LEAN_VERSION_STRING}-${LEAN_SPECIAL_VERSION_DESC}") diff --git a/src/library/util.cpp b/src/library/util.cpp index ed84e951b1..7d8afd11d6 100644 --- a/src/library/util.cpp +++ b/src/library/util.cpp @@ -1060,7 +1060,7 @@ void initialize_library_util() { out << LEAN_VERSION_MAJOR << "." << LEAN_VERSION_MINOR << "." << LEAN_VERSION_PATCH; if (std::strlen(LEAN_SPECIAL_VERSION_DESC) > 0) { - out << ", " << LEAN_SPECIAL_VERSION_DESC; + out << "-" << LEAN_SPECIAL_VERSION_DESC; } if (std::strcmp(LEAN_GITHASH, "GITDIR-NOTFOUND") == 0) { if (std::strcmp(LEAN_PACKAGE_VERSION, "NOT-FOUND") != 0) {