mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-26 02:25:32 +00:00
Code Activity

add build step to generate doc

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-10-11 13:12:02 -07:00
parent a1814bf384
commit 8c8a8cee7a
4 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

1
azure-pipelines.yml
View file

@ -27,6 +27,7 @@ jobs:
cd ..
- template: scripts/test-z3.yml
- template: scripts/test-regressions.yml
- template: scripts/generate-doc.yml
# ./cpp_example
# ./c_example

4
doc/update_api_website.cmd
View file

@ -1,4 +0,0 @@
REM Script for updating the website containing the Z3 API documentation.
REM You must be inside the Microsoft network to execute this script, and
REM robocopy must be in your PATH.
robocopy /S api\html \\research\root\web\external\en-us\UM\redmond\projects\z3

4
doc/update_code_website.cmd
View file

@ -1,4 +0,0 @@
REM Script for updating the website containing the Z3 Code documentation.
REM You must be inside the Microsoft network to execute this script, and
REM robocopy must be in your PATH.
robocopy /S code\html \\research\root\web\external\en-us\UM\redmond\projects\z3\code

7
scripts/generate-doc.yml Normal file
View file

@ -0,0 +1,7 @@
steps:
- script: |
cd doc
apt-get install doxygen
apt-get install graphviz
python mk_api_doc.py
cd ..