diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-05-28 10:59:36 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-05-28 10:59:36 +0200 |
| commit | 20e57ccc35ef216bec5b1252b41a4aa1da566610 (patch) | |
| tree | 4e08e42a50e523432d559dffc87f6bfd27c77967 /src/cmake/modules/GUDHI_third_party_libraries.cmake | |
| parent | 851afaab00a47f1469cb5819b4a26ea52bad988b (diff) | |
Let's try this
Diffstat (limited to 'src/cmake/modules/GUDHI_third_party_libraries.cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_third_party_libraries.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake index 49295a82..f92fe93e 100644 --- a/src/cmake/modules/GUDHI_third_party_libraries.cmake +++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake @@ -199,7 +199,7 @@ if(PYTHONINTERP_FOUND AND CYTHON_FOUND) 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") + set(SPHINX_PATH "${PYTHON_EXECUTABLE}" "-m" "sphinx.cmd.build") endif(PYTHON_VERSION_MAJOR EQUAL 3) endif(NOT SPHINX_PATH) endif(SPHINX_FOUND) |