From e4783846e0592bd35df51b0d8331aadb67494178 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 14 Jul 2017 10:55:23 +0200 Subject: [PATCH] Changed carlConfig path for shipped carl --- 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 dd0942e92..b8b9ba12a 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -271,7 +271,7 @@ if(USE_CARL) LOG_INSTALL ON BUILD_BYPRODUCTS ${STORM_3RDPARTY_BINARY_DIR}/carl/lib/libcarl${DYNAMIC_EXT} ) - include(${STORM_3RDPARTY_BINARY_DIR}/carl/carlExport/carlConfig.cmake) + include(${STORM_3RDPARTY_BINARY_DIR}/carl/carlConfig.cmake) set(STORM_HAVE_CLN ${CARL_USE_CLN_NUMBERS}) set(STORM_HAVE_GINAC ${CARL_USE_GINAC})