|
@ -386,7 +386,7 @@ string(REGEX REPLACE "^[0-9]+\\.[0-9]+\\.[0-9]+\\-[0-9]+\\-[a-z0-9]+\\-(.*)" "\\ |
|
|
if (STORM_VERSION_MAJOR MATCHES "NOTFOUND") |
|
|
if (STORM_VERSION_MAJOR MATCHES "NOTFOUND") |
|
|
set(STORM_VERSION_MAJOR 1) |
|
|
set(STORM_VERSION_MAJOR 1) |
|
|
set(STORM_VERSION_MINOR 0) |
|
|
set(STORM_VERSION_MINOR 0) |
|
|
set(STORM_VERSION_PATCH 0) |
|
|
|
|
|
|
|
|
set(STORM_VERSION_PATCH 2) |
|
|
set(STORM_VERSION_GIT_HASH "") |
|
|
set(STORM_VERSION_GIT_HASH "") |
|
|
set(STORM_VERSION_COMMITS_AHEAD 0) |
|
|
set(STORM_VERSION_COMMITS_AHEAD 0) |
|
|
set(STORM_VERSION_DIRTY boost::none) |
|
|
set(STORM_VERSION_DIRTY boost::none) |
|
|