python has to be found before carl is included in order to pass the python version forward

resources/3rdparty/CMakeLists.txt

@@ -4,6 +4,14 @@ add_custom_target(test-resources)
 set(STORM_3RDPARTY_SOURCE_DIR ${PROJECT_SOURCE_DIR}/resources/3rdparty)
 set(STORM_3RDPARTY_BINARY_DIR ${PROJECT_BINARY_DIR}/resources/3rdparty)
 
+if (STORM_PYTHON)
+    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}")
+endif()
 
 #############################################################
 ##

stormpy/CMakeLists.txt

@@ -1,10 +1,3 @@
-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")