2018-12-16 00:23:36 +00:00
|
|
|
FIND_PROGRAM(SPHINX_EXECUTABLE NAMES sphinx-build
|
|
|
|
HINTS
|
|
|
|
$ENV{SPHINX_DIR}
|
|
|
|
PATH_SUFFIXES bin
|
|
|
|
DOC "Sphinx documentation generator")
|
|
|
|
|
2018-01-14 13:16:11 +00:00
|
|
|
INCLUDE(FeatureSummary)
|
|
|
|
|
2020-02-20 01:00:35 +00:00
|
|
|
SET(SPHINX_SRC_DIR "${CMAKE_CURRENT_SOURCE_DIR}/doc_src")
|
2019-02-25 20:05:02 +00:00
|
|
|
SET(SPHINX_ROOT_DIR "${CMAKE_CURRENT_BINARY_DIR}/user_doc")
|
2018-12-16 00:23:36 +00:00
|
|
|
SET(SPHINX_BUILD_DIR "${SPHINX_ROOT_DIR}/build")
|
|
|
|
SET(SPHINX_CACHE_DIR "${SPHINX_ROOT_DIR}/doctrees")
|
|
|
|
SET(SPHINX_HTML_DIR "${SPHINX_ROOT_DIR}/html")
|
|
|
|
SET(SPHINX_MANPAGE_DIR "${SPHINX_ROOT_DIR}/man")
|
|
|
|
|
2019-03-14 20:50:35 +00:00
|
|
|
# sphinx-docs uses fish_indent for highlighting.
|
|
|
|
# Prepend the output dir of fish_indent to PATH.
|
2018-12-16 00:23:36 +00:00
|
|
|
ADD_CUSTOM_TARGET(sphinx-docs
|
2019-10-20 06:15:58 +00:00
|
|
|
mkdir -p ${SPHINX_HTML_DIR}/_static/
|
|
|
|
COMMAND ${CMAKE_COMMAND} -E copy_if_different ${SPHINX_SRC_DIR}/_static/pygments.css ${SPHINX_HTML_DIR}/_static/
|
2019-10-15 19:59:37 +00:00
|
|
|
COMMAND ${CMAKE_COMMAND} -E copy_if_different ${SPHINX_SRC_DIR}/_static/custom.css ${SPHINX_HTML_DIR}/_static/
|
|
|
|
COMMAND env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
|
2019-03-14 20:50:35 +00:00
|
|
|
${SPHINX_EXECUTABLE}
|
2018-12-16 00:23:36 +00:00
|
|
|
-q -b html
|
|
|
|
-c "${SPHINX_SRC_DIR}"
|
|
|
|
-d "${SPHINX_CACHE_DIR}"
|
|
|
|
"${SPHINX_SRC_DIR}"
|
|
|
|
"${SPHINX_HTML_DIR}"
|
2020-02-20 01:00:35 +00:00
|
|
|
DEPENDS ${SPHINX_SRC_DIR}/fish_indent_lexer.py fish_indent
|
2018-12-16 00:23:36 +00:00
|
|
|
COMMENT "Building HTML documentation with Sphinx")
|
|
|
|
|
2019-09-21 08:32:14 +00:00
|
|
|
# sphinx-manpages needs the fish_indent binary for the version number
|
2018-12-16 00:23:36 +00:00
|
|
|
ADD_CUSTOM_TARGET(sphinx-manpages
|
2019-09-21 08:32:14 +00:00
|
|
|
env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
|
|
|
|
${SPHINX_EXECUTABLE}
|
2018-12-16 00:23:36 +00:00
|
|
|
-q -b man
|
|
|
|
-c "${SPHINX_SRC_DIR}"
|
|
|
|
-d "${SPHINX_CACHE_DIR}"
|
|
|
|
"${SPHINX_SRC_DIR}"
|
2019-02-25 20:12:08 +00:00
|
|
|
# TODO: This only works if we only have section 1 manpages.
|
|
|
|
"${SPHINX_MANPAGE_DIR}/man1"
|
2019-09-21 08:32:14 +00:00
|
|
|
DEPENDS fish_indent
|
2018-12-16 00:23:36 +00:00
|
|
|
COMMENT "Building man pages with Sphinx")
|
|
|
|
|
2019-02-25 02:44:29 +00:00
|
|
|
IF(SPHINX_EXECUTABLE)
|
|
|
|
OPTION(BUILD_DOCS "build documentation (requires Sphinx)" ON)
|
|
|
|
ELSE(SPHINX_EXECUTABLE)
|
|
|
|
OPTION(BUILD_DOCS "build documentation (requires Sphinx)" OFF)
|
|
|
|
ENDIF(SPHINX_EXECUTABLE)
|
2018-01-14 13:16:11 +00:00
|
|
|
|
2019-02-25 02:44:29 +00:00
|
|
|
IF(BUILD_DOCS AND NOT SPHINX_EXECUTABLE)
|
|
|
|
MESSAGE(FATAL_ERROR "build documentation selected, but sphinx-build could not be found")
|
2018-02-01 14:46:15 +00:00
|
|
|
ENDIF()
|
|
|
|
|
|
|
|
IF(IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/html
|
2019-03-04 14:06:07 +00:00
|
|
|
AND IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/man)
|
2018-02-01 14:46:15 +00:00
|
|
|
SET(HAVE_PREBUILT_DOCS TRUE)
|
|
|
|
ELSE()
|
|
|
|
SET(HAVE_PREBUILT_DOCS FALSE)
|
|
|
|
ENDIF()
|
|
|
|
|
|
|
|
IF(BUILD_DOCS OR HAVE_PREBUILT_DOCS)
|
|
|
|
SET(INSTALL_DOCS ON)
|
|
|
|
ELSE()
|
|
|
|
SET(INSTALL_DOCS OFF)
|
|
|
|
ENDIF()
|
|
|
|
|
|
|
|
ADD_FEATURE_INFO(Documentation INSTALL_DOCS "user manual and documentation")
|
2018-01-14 13:16:11 +00:00
|
|
|
|
|
|
|
IF(BUILD_DOCS)
|
2019-03-04 14:06:07 +00:00
|
|
|
CONFIGURE_FILE("${SPHINX_SRC_DIR}/conf.py" "${SPHINX_BUILD_DIR}/conf.py" @ONLY)
|
2018-03-14 13:44:17 +00:00
|
|
|
ADD_CUSTOM_TARGET(doc ALL
|
2019-02-25 03:02:39 +00:00
|
|
|
DEPENDS sphinx-docs sphinx-manpages)
|
2018-01-14 13:16:11 +00:00
|
|
|
|
|
|
|
# Group docs targets into a DocsTargets folder
|
2019-02-25 03:02:39 +00:00
|
|
|
SET_PROPERTY(TARGET doc sphinx-docs sphinx-manpages
|
2018-01-14 13:16:11 +00:00
|
|
|
PROPERTY FOLDER cmake/DocTargets)
|
2019-02-25 03:02:39 +00:00
|
|
|
|
2018-03-24 14:34:30 +00:00
|
|
|
ELSEIF(HAVE_PREBUILT_DOCS)
|
|
|
|
IF(NOT CMAKE_CURRENT_SOURCE_DIR STREQUAL CMAKE_CURRENT_BINARY_DIR)
|
|
|
|
# Out of tree build - link the prebuilt documentation to the build tree
|
|
|
|
ADD_CUSTOM_TARGET(link_doc ALL)
|
|
|
|
ADD_CUSTOM_COMMAND(TARGET link_doc
|
|
|
|
COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_CURRENT_SOURCE_DIR}/user_doc ${CMAKE_CURRENT_BINARY_DIR}/user_doc
|
|
|
|
POST_BUILD)
|
|
|
|
ENDIF()
|
2018-01-14 13:16:11 +00:00
|
|
|
ENDIF(BUILD_DOCS)
|