From 60e78dd438e45a8621063ba54c8bbd2627aa8343 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 10 Oct 2019 10:14:27 +0200 Subject: [PATCH] cmake: Do not search for CLN if it is not needed. --- resources/3rdparty/CMakeLists.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index f3aef9594..38b9056de 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -390,7 +390,9 @@ get_filename_component(GMPXX_LIB_LOCATION ${GMPXX_LIB} DIRECTORY) ## ############################################################# -get_target_property(CLN_INCLUDE_DIR CLN_SHARED INTERFACE_INCLUDE_DIRECTORIES) +if(STORM_USE_CLN_RF OR STORM_USE_CLN_EA) + get_target_property(CLN_INCLUDE_DIR CLN_SHARED INTERFACE_INCLUDE_DIRECTORIES) +endif() ############################################################# ##