From 89e5e294fcc56fe997fb2e1e8742aa5ce33d6a00 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Dec 2025 13:39:45 -0800 Subject: [PATCH] update doc Signed-off-by: Nikolaj Bjorner --- .github/workflows/docs.yml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 7a6c7b9ae..7805899f0 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -44,8 +44,6 @@ jobs: - name: Build Z3 natively for Python documentation run: | - python3 scripts/mk_make.py --python --ml - cd build eval $(opam env) echo "CC: $CC" echo "CXX: $CXX" @@ -54,12 +52,18 @@ jobs: echo "OCAMLOPT: $(which ocamlopt)" echo "OCAML_VERSION: $(ocamlc -version)" echo "OCAMLLIB: $OCAMLLIB" + mkdir build + python3 scripts/mk_make.py --python --ml + cd build make -j$(nproc) cd ../src/api/python && python3 -m pip install --user . - name: Generate Documentation (from doc directory) working-directory: doc - run: python3 mk_api_doc.py --ml --output-dir=api + run: | + 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 - name: Deploy to z3prover.github.io uses: peaceiris/actions-gh-pages@v4