From b11203e2d28cb30adaeba3b8c0923c190dbe64e5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Jan 2021 08:41:14 -0800
Subject: [PATCH] try local env

---
 scripts/nightly.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index b3130f5a8..81f084b3b 100644
--- 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