diff --git a/stormpy/CMakeLists.txt b/stormpy/CMakeLists.txt index 349780709..6a1acd8b7 100644 --- a/stormpy/CMakeLists.txt +++ b/stormpy/CMakeLists.txt @@ -1,5 +1,9 @@ -find_package(PythonInterp REQUIRED) -find_package(PythonLibs REQUIRED) +find_package(PythonInterp REQUIRED QUIET) +find_package(PythonLibs REQUIRED QUIET) + +message(STATUS "Python executable: ${PYTHON_EXECUTABLE}") +message(STATUS "Python include: ${PYTHON_INCLUDE_DIRS}") +message(STATUS "Python include: ${PYTHON_LIBRARIES}") set(STORMPY_OUTPUT_DIR "${PROJECT_BINARY_DIR}/stormpy") set(STORMPY_SOURCE_DIR "${PROJECT_SOURCE_DIR}/stormpy")