summaryrefslogtreecommitdiff
path: root/debian/patches/0004-Disable-Sphinx.patch
blob: 9d22ec9d71e5a6e39e601074225d0b02eec5790b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
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 | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake
index 2cf6787..e36e22b 100644
--- a/src/cmake/modules/GUDHI_third_party_libraries.cmake
+++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake
@@ -151,7 +151,6 @@ if (WITH_GUDHI_PYTHON)
     find_python_module("matplotlib")
     find_python_module("numpy")
     find_python_module("scipy")
-    find_python_module("sphinx")
     find_python_module("sklearn")
     find_python_module("ot")
     find_python_module("pybind11")
@@ -171,16 +170,5 @@ if (WITH_GUDHI_PYTHON)
   option(WITH_GUDHI_PYTHON_RUNTIME_LIBRARY_DIRS "Build with setting runtime_library_dirs. Useful when setting rpath is not allowed" ON)
   
   if(PYTHONINTERP_FOUND AND CYTHON_FOUND)
-    if(SPHINX_FOUND)
-      # Documentation generation is available through sphinx
-      find_program( SPHINX_PATH sphinx-build )
-  
-      if(NOT SPHINX_PATH)
-        if(PYTHON_VERSION_MAJOR EQUAL 3)
-          # In Python3, just hack sphinx-build if it does not exist
-          set(SPHINX_PATH "${PYTHON_EXECUTABLE}" "-m" "sphinx.cmd.build")
-        endif(PYTHON_VERSION_MAJOR EQUAL 3)
-      endif(NOT SPHINX_PATH)
-    endif(SPHINX_FOUND)
   endif(PYTHONINTERP_FOUND AND CYTHON_FOUND)
 endif (WITH_GUDHI_PYTHON)