From c6be1b6a922c70e4cb3432bb60e685d1d3089561 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= Date: Tue, 24 Aug 2021 15:33:38 +0200 Subject: [PATCH] Always define CLN_INCLUDE_DIR when available --- 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 6bfd018ea..95a5cb67c 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -439,7 +439,7 @@ get_filename_component(GMPXX_LIB_LOCATION ${GMPXX_LIB} DIRECTORY) ## ############################################################# -if(STORM_USE_CLN_RF OR STORM_USE_CLN_EA) +if(STORM_HAVE_CLN) get_target_property(CLN_INCLUDE_DIR CLN_SHARED INTERFACE_INCLUDE_DIRECTORIES) endif()