From 5c9b205dfc57d7c789b1da1b6fd45c56dea4443c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 Jan 2021 06:25:24 -0800 Subject: [PATCH] run mk_api_doc in the same environment as make where opan config env is used Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 1e4452b45..c0d3ea8ce 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -39,6 +39,8 @@ stages: vmImage: "ubuntu-latest" steps: - 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: eval `opam config env`; opam install zarith ocamlfind -y - script: python scripts/mk_make.py --ml --staticlib @@ -51,7 +53,9 @@ stages: make -j3 test-z3 ./ml_example 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: cp api.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@0