@ -445,7 +445,7 @@ set(STORM_VERSION_APPENDIX "${CMAKE_MATCH_5}") # might be empty
if(STORM_GIT_VERSION_STRINGMATCHES"NOTFOUND")
if(STORM_GIT_VERSION_STRINGMATCHES"NOTFOUND")
set(STORM_VERSION_SOURCE"VersionSource::Static")
set(STORM_VERSION_SOURCE"VersionSource::Static")
set(STORM_VERSION_COMMITS_AHEAD0)
set(STORM_VERSION_COMMITS_AHEAD0)
set(STORM_VERSION_DIRTYDirtyState:Unknown)
set(STORM_VERSION_DIRTYDirtyState::Unknown)
include(version.cmake)
include(version.cmake)
message(WARNING"Storm - Git version information not available, statically assuming version ${STORM_VERSION_MAJOR}.${STORM_VERSION_MINOR}.${STORM_VERSION_PATCH}.")
message(WARNING"Storm - Git version information not available, statically assuming version ${STORM_VERSION_MAJOR}.${STORM_VERSION_MINOR}.${STORM_VERSION_PATCH}.")