summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-Sphinx.patch
blob: e3f42382c414fcbf1899117ec3bd9875def7a945 (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: Wed, 25 Sep 2019 15:28:15 +0200
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 360a230..bffd2ee 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")
 endif()
 
 if(NOT GUDHI_PYTHON_PATH)