diff --git a/CMakeLists.txt b/CMakeLists.txt index 6501c293e..1b9786580 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -362,14 +362,9 @@ include_directories("${PROJECT_BINARY_DIR}/include") include(CTest) # Python bindings for storm -if(STORM_PYTHON) - add_subdirectory(stormpy) -endif() - set(STORM_TARGETS "") add_subdirectory(src) -message("STORM_TARGETS: ${STORM_TARGETS}") include(export) include(StormCPackConfig.cmake) diff --git a/resources/cmake/macros/export.cmake b/resources/cmake/macros/export.cmake index f4100da08..eb2e8fa84 100644 --- a/resources/cmake/macros/export.cmake +++ b/resources/cmake/macros/export.cmake @@ -20,7 +20,6 @@ endforeach() include(CMakePackageConfigHelpers) set(CONF_INCLUDE_DIRS "${CMAKE_BINARY_DIR}/include/") -message("CMAKE_INSTALL_DIR: ${CMAKE_INSTALL_DIR}") configure_package_config_file( resources/cmake/stormConfig.cmake.in ${PROJECT_BINARY_DIR}/stormConfig.cmake diff --git a/resources/cmake/macros/imported.cmake b/resources/cmake/macros/imported.cmake index 6158e3f7e..ef25990c3 100644 --- a/resources/cmake/macros/imported.cmake +++ b/resources/cmake/macros/imported.cmake @@ -7,7 +7,6 @@ macro(add_imported_library_interface name include) endmacro(add_imported_library_interface) macro(add_imported_library name type lib include) -message("${name} include ${include}") # Workaround from https://cmake.org/Bug/view.php?id=15052 file(MAKE_DIRECTORY "${include}") if("${lib}" STREQUAL "")