boost python cmake fix for debian

Former-commit-id: facd495c4b

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()