mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-02 05:16:08 +00:00
Code Activity

docs with ml bindings

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-12-18 13:08:23 -08:00
parent 5be3c6b4e8
commit a2a4bb44c0
1 changed files with 23 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

26
.github/workflows/docs.yml vendored
View file

@ -26,20 +26,40 @@ jobs:
with: with:
node-version: "lts/*" node-version: "lts/*"
# Setup OCaml via action
- uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: 5
opam-disable-sandboxing: true
- name: Install system dependencies - name: Install system dependencies
run: | run: |
sudo apt-get update sudo apt-get update
sudo apt-get install -y doxygen graphviz python3 python3-pip sudo apt-get install -y doxygen graphviz python3 python3-pip
sudo apt-get install -y \
bubblewrap m4 libgmp-dev pkg-config ninja-build ccache
- name: Install required opam packages
run: opam install -y ocamlfind zarith
- name: Build Z3 natively for Python documentation - name: Build Z3 natively for Python documentation
run: | run: |
python3 scripts/mk_make.py --python python3 scripts/mk_make.py --python --ml
cd build && make -j$(nproc) cd build
eval $(opam env)
echo "CC: $CC"
echo "CXX: $CXX"
echo "OCAMLFIND: $(which ocamlfind)"
echo "OCAMLC: $(which ocamlc)"
echo "OCAMLOPT: $(which ocamlopt)"
echo "OCAML_VERSION: $(ocamlc -version)"
echo "OCAMLLIB: $OCAMLLIB"
make -j$(nproc)
cd ../src/api/python && python3 -m pip install --user . cd ../src/api/python && python3 -m pip install --user .
- name: Generate Documentation (from doc directory) - name: Generate Documentation (from doc directory)
working-directory: doc working-directory: doc
run: python3 mk_api_doc.py --output-dir=api run: python3 mk_api_doc.py --ml --output-dir=api
- name: Deploy to z3prover.github.io - name: Deploy to z3prover.github.io
uses: peaceiris/actions-gh-pages@v4 uses: peaceiris/actions-gh-pages@v4