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()