summaryrefslogtreecommitdiff
path: root/debian/patches/0005-Disable-Sphinx.patch
blob: 69b76bc847997242faaa1e2a84deb1cb08239eb7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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 | 1 -
 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
--- 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 )
   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()