diff options
Diffstat (limited to 'debian/patches/0005-Disable-Sphinx.patch')
-rw-r--r-- | debian/patches/0005-Disable-Sphinx.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/0005-Disable-Sphinx.patch b/debian/patches/0005-Disable-Sphinx.patch index 69b76bc8..d741bb9f 100644 --- a/debian/patches/0005-Disable-Sphinx.patch +++ b/debian/patches/0005-Disable-Sphinx.patch @@ -7,14 +7,14 @@ Subject: Disable Sphinx. 1 file changed, 1 deletion(-) diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake -index 24a3415..38484ba 100644 +index 0abe66b..7a418e4 100644 --- a/src/cmake/modules/GUDHI_third_party_libraries.cmake +++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake -@@ -124,7 +124,6 @@ if( PYTHONINTERP_FOUND ) +@@ -175,7 +175,6 @@ if( PYTHONINTERP_FOUND ) find_python_module("matplotlib") find_python_module("numpy") find_python_module("scipy") - find_python_module("sphinx") find_python_module("sklearn") find_python_module("ot") - endif() + find_python_module("pybind11") |