diff options
Diffstat (limited to 'src/cmake/modules/GUDHI_third_party_libraries.cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_third_party_libraries.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake index 4cf2f445..799d28b6 100644 --- a/src/cmake/modules/GUDHI_third_party_libraries.cmake +++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake @@ -124,6 +124,7 @@ if(PYTHONINTERP_FOUND AND CYTHON_FOUND) elseif(PYTHON_VERSION_MAJOR EQUAL 3) execute_process(COMMAND ${PYTHON_EXECUTABLE} -c "from sphinx import main" RESULT_VARIABLE SPHINX_MODULE_IS_INSTALLED) + message(" --- SPHINX_MODULE_IS_INSTALLED --- ${SPHINX_MODULE_IS_INSTALLED}") if(SPHINX_MODULE_IS_INSTALLED) # No sphinx-build in Pyton3, just hack it set(SPHINX_PATH "${CMAKE_CURRENT_BINARY_DIR}/${GUDHI_CYTHON_PATH}/doc/python3-sphinx-build") |