diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 1eae19497..fadcbd3f6 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -77,4 +77,4 @@ ExternalProject_Get_Property(googletest binary_dir) set(GTEST_LIBRARIES ${binary_dir}/libgtest.a ${binary_dir}/libgtest_main.a PARENT_SCOPE) add_dependencies(test-resources googletest) - + diff --git a/storm-version.cpp.in b/storm-version.cpp.in index 9de4c4481..662f3395e 100644 --- a/storm-version.cpp.in +++ b/storm-version.cpp.in @@ -1,3 +1,5 @@ +//AUTO GENERATED -- DO NOT CHANGE +// TODO resolve issues when placing this in the build order directly. #include "src/utility/storm-version.h" namespace storm {