diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-18 11:35:24 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-03-22 09:21:48 +0000 |
| commit | 5a633251bb6168b8b7e5d0cd7d554858e96a3b0e (patch) | |
| tree | 644dccc395a89df0f44a1ffd931723373710c01c /docs | |
| parent | 663e034926bbcefa6c179b16d9156296f782630b (diff) | |
| download | klee-5a633251bb6168b8b7e5d0cd7d554858e96a3b0e.tar.gz | |
Install doxygen and graphviz (dot) to generate Doxygen documentation when ENABLE_DOXYGEN=ON
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/CMakeLists.txt | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index 8cbd93c9..b8a4a38b 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -12,9 +12,9 @@ add_custom_target(docs) option(ENABLE_DOXYGEN "Enable building doxygen documentation" OFF) if (ENABLE_DOXYGEN) - find_package(Doxygen) - if (DOXYGEN_FOUND) - message(STATUS "Doxygen found") + find_package(Doxygen OPTIONAL_COMPONENTS dot) + if (DOXYGEN_FOUND AND TARGET Doxygen::dot) + message(STATUS "Doxygen and dot found") set(abs_top_srcdir "${CMAKE_SOURCE_DIR}") set(abs_top_builddir "${CMAKE_BINARY_DIR}") @@ -23,7 +23,7 @@ if (ENABLE_DOXYGEN) # Add rule to build doxygen documentation add_custom_target(doc-doxygen - COMMAND "${DOXYGEN_EXECUTABLE}" "${CMAKE_CURRENT_BINARY_DIR}/doxygen.cfg" + COMMAND Doxygen::doxygen "${CMAKE_CURRENT_BINARY_DIR}/doxygen.cfg" COMMENT "Generating Doxygen documentation" USES_TERMINAL ) @@ -42,7 +42,12 @@ if (ENABLE_DOXYGEN) endif () else() - message(WARNING "Doxygen not found. Can't build Doxygen documentation") + if (NOT DOXYGEN_FOUND) + message(WARNING "Doxygen not found. Can't build Doxygen documentation") + endif () + if (NOT TARGET Doxygen::dot) + message(WARNING "dot (graphviz) not found. Can't build Doxygen documentation") + endif () set(ENABLE_DOXYGEN OFF CACHE BOOL |