From e37d5869ef507f65615788a7cadc8b4c80004487 Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 8 Sep 2017 13:58:13 +0200 Subject: [PATCH] extracted static version to separate cmake file --- CMakeLists.txt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 32e5ff8b2..b6c56e03c 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -386,9 +386,7 @@ string(REGEX REPLACE "^[0-9]+\\.[0-9]+\\.[0-9]+\\-[0-9]+\\-[a-z0-9]+\\-(.*)" "\\ # now check whether the git version lookup failed if (STORM_VERSION_MAJOR MATCHES "NOTFOUND") - set(STORM_VERSION_MAJOR 1) - set(STORM_VERSION_MINOR 0) - set(STORM_VERSION_PATCH 2) + include(version.cmake) set(STORM_VERSION_GIT_HASH "") set(STORM_VERSION_COMMITS_AHEAD 0) set(STORM_VERSION_DIRTY boost::none)