Fixed a configuration issue pointed out by Joachim Klein

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