diff options
Diffstat (limited to 'debian/patches/0005-Disable-Sphinx.patch')
| -rw-r--r-- | debian/patches/0005-Disable-Sphinx.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0005-Disable-Sphinx.patch b/debian/patches/0005-Disable-Sphinx.patch index d741bb9f..0df79e58 100644 --- a/debian/patches/0005-Disable-Sphinx.patch +++ b/debian/patches/0005-Disable-Sphinx.patch @@ -7,10 +7,10 @@ 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 0abe66b..7a418e4 100644 +index a56a275..11b5b20 100644 --- a/src/cmake/modules/GUDHI_third_party_libraries.cmake +++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake -@@ -175,7 +175,6 @@ if( PYTHONINTERP_FOUND ) +@@ -178,7 +178,6 @@ if( PYTHONINTERP_FOUND ) find_python_module("matplotlib") find_python_module("numpy") find_python_module("scipy") |