docs with ml bindings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

.github/workflows/docs.yml

@@ -26,20 +26,40 @@ jobs:
         with:
           node-version: "lts/*"
 
+      # Setup OCaml via action
+      - uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: 5
+          opam-disable-sandboxing: true
+
       - name: Install system dependencies
         run: |
           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
+
+      - name: Install required opam packages
+        run: opam install -y ocamlfind zarith
 
       - name: Build Z3 natively for Python documentation
         run: |
-          python3 scripts/mk_make.py --python
-          cd build && make -j$(nproc)
+          python3 scripts/mk_make.py --python --ml
+          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 .
 
       - name: Generate Documentation (from doc directory)
         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
         uses: peaceiris/actions-gh-pages@v4