From 37823d0bdab410584d10f36ab4cd9e751e61d8b5 Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 26 Jan 2017 12:04:07 +0100 Subject: [PATCH] Fixed a configuration issue pointed out by Joachim Klein --- 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 57b50fd5c..4077d6230 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -368,7 +368,7 @@ message(STATUS "Storm - Using shipped version of sylvan.") message(STATUS "Storm - Linking with sylvan.") add_imported_library(sylvan STATIC ${Sylvan_LIBRARY} ${Sylvan_INCLUDE_DIR}) add_dependencies(sylvan_STATIC sylvan) -if(USE_SHIPPED_CARL) +if(STORM_SHIPPED_CARL) add_dependencies(sylvan carl) endif() list(APPEND STORM_DEP_TARGETS sylvan_STATIC)