diff --git a/version.cmake b/version.cmake new file mode 100644 index 000000000..21ee2f621 --- /dev/null +++ b/version.cmake @@ -0,0 +1,4 @@ +set(STORM_VERSION_MAJOR 1) +set(STORM_VERSION_MINOR 1) +set(STORM_VERSION_PATCH 0) +