mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

Merge branch 'master' of https://github.com/z3prover/z3

Browse source
This commit is contained in:
Nikolaj Bjorner 2017-11-15 09:10:23 -08:00
commit 2d0d9d462d
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/CMakeLists.txt
View file

@ -59,6 +59,7 @@ endif()
add_custom_target(api_docs ${ALWAYS_BUILD_DOCS_ARG} add_custom_target(api_docs ${ALWAYS_BUILD_DOCS_ARG}
COMMAND COMMAND
"${PYTHON_EXECUTABLE}" "${MK_API_DOC_SCRIPT}" "${PYTHON_EXECUTABLE}" "${MK_API_DOC_SCRIPT}"
--build "${CMAKE_BINARY_DIR}"
--doxygen-executable "${DOXYGEN_EXECUTABLE}" --doxygen-executable "${DOXYGEN_EXECUTABLE}"
--output-dir "${DOC_DEST_DIR}" --output-dir "${DOC_DEST_DIR}"
--temp-dir "${DOC_TEMP_DIR}" --temp-dir "${DOC_TEMP_DIR}"