@ -371,8 +371,7 @@ if (STORM_VERSION_MAJOR STREQUAL "HEAD-HASH-NOTFOUND")
set(STORM_VERSION_COMMITS_AHEAD0)
set(STORM_VERSION_COMMITS_AHEAD0)
set(STORM_VERSION_DIRTYboost::none)
set(STORM_VERSION_DIRTYboost::none)
message(WARN"Storm - git version information not available.")
message(STATUS"Storm - version is ${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}.")