pip install importlib resources

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 14, 2023 · 1ce95d3 · 1ce95d3
1 parent 37b283f
commit 1ce95d3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -85,6 +85,7 @@ stages:
     pool:
       vmImage: "ubuntu-latest"
     steps:
+    - script: pip3 install importlib-resources
     - script: sudo apt-get install ocaml opam libgmp-dev
     - script: opam init -y
     - script: eval `opam config env`; opam install zarith ocamlfind -y
@@ -103,6 +104,7 @@ stages:
         set -e
         eval `opam config env` 
         cd doc
+	pip3 install importlib-resources
         python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3
         python3 mk_params_doc.py 
         mkdir api/html/ml

diff --git a/scripts/release.yml b/scripts/release.yml
@@ -151,8 +151,8 @@ stages:
         set -e
         eval `opam config env` 
         cd doc
-        python mk_api_doc.py --mld --z3py-package-path=../build/python/z3
-        python mk_params_doc.py 
+        python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3
+        python3 mk_params_doc.py 
         mkdir api/html/ml
         ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
         cd ..