From c1b06f40b7889090b705c74f9002311b97a1c4ce Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 21 Jul 2021 12:02:42 +0200 Subject: [PATCH] CMAKE: Added option to include and link against Spot Conflicts: CMakeLists.txt --- CMakeLists.txt | 1 + resources/cmake/find_modules/FindSPOT.cmake | 1 + 2 files changed, 2 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index fd37f01f5..b7fc55f9d 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -49,6 +49,7 @@ MARK_AS_ADVANCED(STORM_FORCE_SHIPPED_CARL) option(USE_SMTRAT "Sets whether SMT-RAT should be included." OFF) mark_as_advanced(USE_SMTRAT) option(USE_HYPRO "Sets whether HyPro should be included." OFF) +mark_as_advanced(USE_HYPRO) option(STORM_FORCE_LTL_SUPPORT "Sets whether support for LTL model checking needs to be included." OFF) option(STORM_USE_SPOT "Sets whether Spot should be included." ON) MARK_AS_ADVANCED(STORM_USE_SPOT) diff --git a/resources/cmake/find_modules/FindSPOT.cmake b/resources/cmake/find_modules/FindSPOT.cmake index f4a0be599..f0ba32917 100644 --- a/resources/cmake/find_modules/FindSPOT.cmake +++ b/resources/cmake/find_modules/FindSPOT.cmake @@ -6,6 +6,7 @@ # SPOT_VERSION - The version of spot # use pkg-config to get the directories and then use these values + # in the find_path() and find_library() calls find_package(PkgConfig QUIET) PKG_CHECK_MODULES(PC_SPOT QUIET spot)