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