From 7bdd85e97fb77ffab93b65d75d2d0fc2e59c03ee Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 18 Feb 2016 00:16:56 +0100 Subject: [PATCH 1/2] add a comment that a file is autogenerated Former-commit-id: 736184f68a9d95281e991b79a76946e26dfd8887 --- storm-version.cpp.in | 2 ++ 1 file changed, 2 insertions(+) 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 { From ac1efc7efdd794029c7678713095f756e2c75a74 Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 18 Feb 2016 00:18:07 +0100 Subject: [PATCH 2/2] minor fix of a superfluous cmake include Former-commit-id: ab663101d24f895243430497a4607f0801fc4030 --- resources/3rdparty/CMakeLists.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 2d5309ee5..090c8ff15 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -2,7 +2,6 @@ add_custom_target(resources) add_custom_target(test-resources) if(STORM_SUPPORT_XML_INPUT_FORMATS) - include(ExternalProject) ExternalProject_Add( xercesc SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/xercesc-3.1.2 @@ -59,4 +58,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) - +