From 7e0d519670095d74b829d210e44feab24baada4f Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 27 Jul 2016 14:29:23 +0200 Subject: [PATCH] add carl to resource dependency Former-commit-id: 5e8cdbafdbf813b70eb574ee8a9bb6b48b1e5520 --- resources/3rdparty/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index a539f8b98..dff6db394 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -204,6 +204,7 @@ if(USE_CARL) LOG_INSTALL ON ) + add_dependencies(resources xercesc) include_directories(${STORM_3RDPARTY_BINARY_DIR}/carl/include) list(APPEND STORM_LINK_LIBRARIES ${STORM_3RDPARTY_BINARY_DIR}/carl/lib/libcarl${DYNAMIC_EXT}) set(STORM_HAVE_CARL ON)