diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-05-20 09:00:01 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-05-20 09:00:01 +0200 |
commit | 90ed3afb56f0e9fe4ef53f2e141239015a20bc08 (patch) | |
tree | 4e98c28ababf8f2865921b756259c51f0c3d215d /debian/patches/0005-Disable-Sphinx.patch | |
parent | 11be89550b55b77707a062d7468fa5767b84acf1 (diff) |
Refresh patches.
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") |