From 9873d2c915e030b78eaefc9c199d1175f1ec86b5 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 4 Feb 2016 18:18:42 +0100
Subject: [PATCH] boost python cmake fix for debian

Former-commit-id: facd495c4b3d444aabd82170940cccf3dacb2ecd
---
 CMakeLists.txt | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 57774cee4..06195f63b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -194,7 +194,15 @@ if(CUSTOM_BOOST_ROOT)
 endif(CUSTOM_BOOST_ROOT)
 
 if(STORM_PYTHON)
-find_package(Boost REQUIRED COMPONENTS python3)
+	find_package(Boost REQUIRED COMPONENTS python3)
+	#HACK for DEBIAN
+	if(NOT Boost_PYTHON3_FOUND)
+	set(PYVERSION 34)
+	load_library(pycarl Boost 1.55 COMPONENTS python-py${PYVERSION})
+	if(NOT Boost_PYTHON-PY${PYVERSION}_FOUND)
+		message(FATAL_ERROR "Could not find Boost Python")
+	endif()
+endif()
 else()
 find_package(Boost REQUIRED)
 endif()