diff options
Diffstat (limited to 'debian/patches/0005-Disable-Sphinx.patch')
| -rw-r--r-- | debian/patches/0005-Disable-Sphinx.patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/0005-Disable-Sphinx.patch b/debian/patches/0005-Disable-Sphinx.patch index e3f42382..69b76bc8 100644 --- a/debian/patches/0005-Disable-Sphinx.patch +++ b/debian/patches/0005-Disable-Sphinx.patch @@ -1,5 +1,5 @@ From: Gard Spreemann <gspr@nonempty.org> -Date: Wed, 25 Sep 2019 15:28:15 +0200 +Date: Tue, 21 Jan 2020 10:36:48 +0100 Subject: Disable Sphinx. --- @@ -7,7 +7,7 @@ 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 360a230..bffd2ee 100644 +index 24a3415..38484ba 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 ) @@ -15,6 +15,6 @@ index 360a230..bffd2ee 100644 find_python_module("numpy") find_python_module("scipy") - find_python_module("sphinx") + find_python_module("sklearn") + find_python_module("ot") endif() - - if(NOT GUDHI_PYTHON_PATH) |