summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-Sphinx.patch
blob: 146ce560998f7fff59e43893f049a680d48ce435 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake
index 360a230..10490ce 100644
--- a/src/cmake/modules/GUDHI_third_party_libraries.cmake
+++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake
@@ -123,8 +123,7 @@ if( PYTHONINTERP_FOUND )
   find_python_module("pytest")
   find_python_module("matplotlib")
   find_python_module("numpy")
-  find_python_module("scipy")
-  find_python_module("sphinx")
+  find_python_module("scipy")
 endif()
 
 if(NOT GUDHI_PYTHON_PATH)