From 92f04cdfa12b5b65bd5eba04678f7a7722d516ce Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 26 Apr 2017 15:03:31 +0200
Subject: [PATCH] CppTemplate was not correctly listed as a dependency of
 storm.

---
 resources/3rdparty/CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index cd6b24ff4..138789c29 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -412,7 +412,8 @@ endif()
 ##
 #############################################################
 
-include_directories(${STORM_3RDPARTY_SOURCE_DIR}/cpptemplate)
+add_imported_library_interface(CppTemplate "${STORM_3RDPARTY_SOURCE_DIR}/cpptemplate/")
+list(APPEND STORM_DEP_TARGETS CppTemplate)
 list(APPEND STORM_3RDPARTY_SOURCES ${STORM_3RDPARTY_SOURCE_DIR}/cpptemplate/cpptempl.cpp)
 
 #############################################################