From b15ba29d9e91b00c91c25fd5c527a7109b45cb45 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 9 Sep 2019 14:42:37 +0200 Subject: [PATCH] Disable search for boost-cmake --- resources/3rdparty/CMakeLists.txt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index ce37a0843..33fee5585 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -55,9 +55,10 @@ list(APPEND STORM_DEP_TARGETS StormEigen33) ############################################################# # Boost Option variables -set(Boost_USE_STATIC_LIBS ${USE_BOOST_STATIC_LIBRARIES}) -set(Boost_USE_MULTITHREADED ON) -set(Boost_USE_STATIC_RUNTIME OFF) +set(Boost_USE_STATIC_LIBS ${USE_BOOST_STATIC_LIBRARIES}) +set(Boost_USE_MULTITHREADED ON) +set(Boost_USE_STATIC_RUNTIME OFF) +set(Boost_NO_BOOST_CMAKE ON) find_package(Boost 1.61.0 QUIET REQUIRED COMPONENTS filesystem system) if (NOT Boost_FOUND)