From 1cccbfdcf338051a4f5a982bec85dad65f2511f3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Dec 2025 14:00:50 -0800 Subject: [PATCH] updated with env ocaml Signed-off-by: Nikolaj Bjorner --- .github/workflows/docs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 7805899f0..0ee05dcc4 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -37,7 +37,7 @@ jobs: sudo apt-get update sudo apt-get install -y doxygen graphviz python3 python3-pip sudo apt-get install -y \ - bubblewrap m4 libgmp-dev pkg-config ninja-build ccache + bubblewrap m4 libgmp-dev pkg-config - name: Install required opam packages run: opam install -y ocamlfind zarith @@ -61,6 +61,7 @@ jobs: - name: Generate Documentation (from doc directory) working-directory: doc run: | + eval $(opam env) python3 mk_api_doc.py --mld --output-dir=api --z3py-package-path=../build/python/z3 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