From bf68b28b26b61e3ed10847cfe3625ad3b80673d5 Mon Sep 17 00:00:00 2001 From: dehnert Date: Sat, 5 Nov 2016 15:06:08 +0100 Subject: [PATCH] changed default linking type of boost to dynamic, as otherwise g++ complains about non-relocatable code Former-commit-id: 63ec8b7a0c4e0b56457f6a2d35136c60b8951adb [formerly bb9fffd68107052153c00e3f9994febc3954b661] Former-commit-id: 42afbe5a819ebac50a9d8623902a09f4b04345a9 --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index f0d79ed2e..10b76d4ed 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -23,7 +23,7 @@ include(RegisterSourceGroup) option(STORM_DEVELOPER "Sets whether the development mode is used" OFF) option(STORM_USE_POPCNT "Sets whether the popcnt instruction is going to be used." ON) MARK_AS_ADVANCED(STORM_USE_POPCNT) -option(USE_BOOST_STATIC_LIBRARIES "Sets whether the Boost libraries should be linked statically." ON) +option(USE_BOOST_STATIC_LIBRARIES "Sets whether the Boost libraries should be linked statically." OFF) option(STORM_USE_INTELTBB "Sets whether the Intel TBB libraries should be used." OFF) option(STORM_USE_GUROBI "Sets whether Gurobi should be used." OFF) option(STORM_USE_COTIRE "Sets whether Cotire should be used (for building precompiled headers)." OFF)