try local env

2025-04-10 19:27:06 +00:00 · 2021-01-29 08:41:14 -08:00 · 2021-01-29 08:41:14 -08:00 · b11203e2d2
parent 1d7cabaf9a
commit b11203e2d2
1 changed files with 3 additions and 0 deletions
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@ -53,8 +53,11 @@ stages:
        make -j3 test-z3
        ./ml_example
        cd ..
+    - script: |
+        set -e
        cd doc
        python mk_api_doc.py --z3py-package-path=../build/python/z3
+        eval `opam config env` 
        ocamldoc -html -d api/html/ml -sort -hide Z3 -I +zarith -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
        cd ..
    - script: zip -r api.zip doc/api