mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-09 07:33:24 +00:00
Code Activity

run mk_api_doc in the same environment as make where opan config env is used

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-01-29 06:25:24 -08:00
parent c0c314d1ae
commit 5c9b205dfc
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/nightly.yaml
View file

@ -39,6 +39,8 @@ stages:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
steps: steps:
- script: sudo apt-get install ocaml opam libgmp-dev - script: sudo apt-get install ocaml opam libgmp-dev
- script: sudo apt-get install doxygen
- script: sudo apt-get install graphviz
- script: opam init -y - script: opam init -y
- script: eval `opam config env`; opam install zarith ocamlfind -y - script: eval `opam config env`; opam install zarith ocamlfind -y
- script: python scripts/mk_make.py --ml --staticlib - script: python scripts/mk_make.py --ml --staticlib
@ -51,7 +53,9 @@ stages:
make -j3 test-z3 make -j3 test-z3
./ml_example ./ml_example
cd .. cd ..
- template: generate-doc.yml cd doc
python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
cd ..
- script: zip -r api.zip doc/api - script: zip -r api.zip doc/api
- script: cp api.zip $(Build.ArtifactStagingDirectory)/. - script: cp api.zip $(Build.ArtifactStagingDirectory)/.
- task: PublishPipelineArtifact@0 - task: PublishPipelineArtifact@0