CppTemplate was not correctly listed as a dependency of storm.

8 years ago · 92f04cdfa1
1 changed files with 2 additions and 1 deletions
--- 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)

 #############################################################