add carl to resource dependency

Former-commit-id: 5e8cdbafdb
9 years ago · 7e0d519670
1 changed files with 1 additions and 0 deletions
--- 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)