From 7a34e7a497653a308b2771531a8090f92dbd65b7 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Mon, 14 Nov 2016 16:58:29 +0100
Subject: [PATCH] Force shared lib when using python

Former-commit-id: eed5d3cfed7dea5a153d47c9f220488dbdd7d80a
---
 CMakeLists.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c8cbaf4f4..52af5b7f3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -118,6 +118,11 @@ endif()
 message(STATUS "Assuming extension for shared libraries: ${DYNAMIC_EXT}")
 message(STATUS "Assuming extension for static libraries: ${STATIC_EXT}")
 
+# Python bindings need shared library
+if(STORM_PYTHON)
+    set(BUILD_SHARED_LIBS ON CACHE BOOL "Build the Storm library dynamically" FORCE)
+endif()
+
 if(BUILD_SHARED_LIBS)
     set(LIB_EXT ${DYNAMIC_EXT})
     message(STATUS "Build dynamic libraries.")