From 7bdd85e97fb77ffab93b65d75d2d0fc2e59c03ee Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
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 <sebastian.junges@rwth-aachen.de>
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)
-
+