output version of found sphinx and python

develop
myk002 2022-08-14 23:01:20 -07:00
parent f1f207b45b
commit 488fd67742
No known key found for this signature in database
GPG Key ID: 8A39CA0FA0C16E78
1 changed files with 3 additions and 1 deletions

@ -442,8 +442,10 @@ endif()
add_subdirectory(data)
add_subdirectory(scripts)
find_package(Sphinx QUIET)
if(BUILD_DOCS)
find_package(Python3)
find_package(Sphinx)
if(NOT SPHINX_FOUND)
message(SEND_ERROR "Sphinx not found but BUILD_DOCS enabled")
endif()