diff options
Diffstat (limited to 'debian/patches/0004-Disable-Sphinx.patch')
| -rw-r--r-- | debian/patches/0004-Disable-Sphinx.patch | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/debian/patches/0004-Disable-Sphinx.patch b/debian/patches/0004-Disable-Sphinx.patch new file mode 100644 index 00000000..9d22ec9d --- /dev/null +++ b/debian/patches/0004-Disable-Sphinx.patch @@ -0,0 +1,37 @@ +From: Gard Spreemann <gspr@nonempty.org> +Date: Tue, 21 Jan 2020 10:36:48 +0100 +Subject: Disable Sphinx. + +--- + src/cmake/modules/GUDHI_third_party_libraries.cmake | 12 ------------ + 1 file changed, 12 deletions(-) + +diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake +index 2cf6787..e36e22b 100644 +--- a/src/cmake/modules/GUDHI_third_party_libraries.cmake ++++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake +@@ -151,7 +151,6 @@ if (WITH_GUDHI_PYTHON) + find_python_module("matplotlib") + find_python_module("numpy") + find_python_module("scipy") +- find_python_module("sphinx") + find_python_module("sklearn") + find_python_module("ot") + find_python_module("pybind11") +@@ -171,16 +170,5 @@ if (WITH_GUDHI_PYTHON) + option(WITH_GUDHI_PYTHON_RUNTIME_LIBRARY_DIRS "Build with setting runtime_library_dirs. Useful when setting rpath is not allowed" ON) + + if(PYTHONINTERP_FOUND AND CYTHON_FOUND) +- if(SPHINX_FOUND) +- # Documentation generation is available through sphinx +- find_program( SPHINX_PATH sphinx-build ) +- +- if(NOT SPHINX_PATH) +- if(PYTHON_VERSION_MAJOR EQUAL 3) +- # In Python3, just hack sphinx-build if it does not exist +- set(SPHINX_PATH "${PYTHON_EXECUTABLE}" "-m" "sphinx.cmd.build") +- endif(PYTHON_VERSION_MAJOR EQUAL 3) +- endif(NOT SPHINX_PATH) +- endif(SPHINX_FOUND) + endif(PYTHONINTERP_FOUND AND CYTHON_FOUND) + endif (WITH_GUDHI_PYTHON) |