diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/CMakeLists.txt | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt new file mode 100644 index 00000000..386298ce --- /dev/null +++ b/docs/CMakeLists.txt @@ -0,0 +1,38 @@ +#===------------------------------------------------------------------------===# +# +# The KLEE Symbolic Virtual Machine +# +# This file is distributed under the University of Illinois Open Source +# License. See LICENSE.TXT for details. +# +#===------------------------------------------------------------------------===# + +# Top level target for building all documentation +add_custom_target(docs) + +option(ENABLE_DOXYGEN "Enable building doxygen documentation" ON) +if (ENABLE_DOXYGEN) + find_package(Doxygen) + if (DOXYGEN_FOUND) + message(STATUS "Doxygen found") + set(abs_top_srcdir "${CMAKE_SOURCE_DIR}") + set(abs_top_builddir "${CMAKE_BINARY_DIR}") + + # Configure the Doxyfile + configure_file(doxygen.cfg.in doxygen.cfg @ONLY) + + # Add rule to build doxygen documentation + add_custom_target(doc-doxygen + COMMAND "${DOXYGEN_EXECUTABLE}" "${CMAKE_CURRENT_BINARY_DIR}/doxygen.cfg" + COMMENT "Generating Doxygen documentation" + ${ADD_CUSTOM_COMMAND_USES_TERMINAL_ARG} + ) + add_dependencies(docs doc-doxygen) + else() + message(WARNING "Doxygen not found. Can't build Doxygen documentation") + set(ENABLE_DOXYGEN OFF + CACHE + BOOL + "Enable building doxygen documentation" FORCE) + endif() +endif() |