From 3ea11188b7f0c9bb6e3784686eece7678594108d Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 19 Aug 2016 19:35:03 +0200 Subject: [PATCH] fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present Former-commit-id: 95b83d39882a6bd743d65b484fb3e5d168cb7020 --- resources/3rdparty/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 042eaea43..244e24057 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -204,7 +204,7 @@ if(USE_CARL) LOG_INSTALL ON ) - add_dependencies(resources xercesc) + add_dependencies(resources carl) 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)