mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

[CMake] When invoking mk_api_doc.py pass the build directory.

Browse source 
This change was requested by @wintersteiger as an alternative way
to unbreak the TravisCI builds.
This commit is contained in:
Dan Liew 2017-11-11 22:49:14 +00:00
parent 195d81ebef
commit 1a0bff7480
1 changed files with 1 additions and 0 deletions
Show stats 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}"