From f45af6f8a5fa631a373b44683c67c6f82f05a43e Mon Sep 17 00:00:00 2001 From: Maurice Laveaux Date: Wed, 19 Jul 2023 11:32:22 +0200 Subject: [PATCH] Updated the version number. --- build/cmake/MCRL2Version.cmake | 2 +- build/make_release/make_release | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build/cmake/MCRL2Version.cmake b/build/cmake/MCRL2Version.cmake index 059e16d181..2665af1356 100644 --- a/build/cmake/MCRL2Version.cmake +++ b/build/cmake/MCRL2Version.cmake @@ -24,7 +24,7 @@ # not be generated from a clean Git clone. # # Package maintainers may set the variable below to issue a new release. -set(MCRL2_MAJOR_VERSION "202206.1") +set(MCRL2_MAJOR_VERSION "202307.0") string(SUBSTRING ${MCRL2_MAJOR_VERSION} 0 4 MCRL2_COPYRIGHT_YEAR) option(MCRL2_PACKAGE_RELEASE "Include release version information. This discards Git commit information and only uses the MCRL2_MAJOR_VERSION CMake variable." FALSE) diff --git a/build/make_release/make_release b/build/make_release/make_release index cde532e368..9680057baa 100755 --- a/build/make_release/make_release +++ b/build/make_release/make_release @@ -1,6 +1,6 @@ #!/bin/bash # -# Copyright: Wieger Wesselink 2014-2021 +# Copyright: Wieger Wesselink 2014-2023 # # This script is used for building debian packages. # @@ -30,8 +30,8 @@ # do_ppa_upload. If these steps fail, it makes no sense to do an upload. After # every failed upload attempt the version number needs to be updated. -MCRL2_RELEASE_BRANCH="release-202206" -MCRL2_VERSION="202206.1" +MCRL2_RELEASE_BRANCH="release-202307" +MCRL2_VERSION="202307.0" UBUNTU_VERSION="1ubuntu1ppa1" DEBEMAIL="m.laveaux@tue.nl" DEBFULLNAME="Maurice Laveaux"