From b2dc6cea96df3bd4292d93b808b04004fc2eb5a9 Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 23 Nov 2016 19:58:57 +0100 Subject: [PATCH] better cmake output for found python version --- stormpy/CMakeLists.txt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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")