From dec12aa500879bc8ff0736459994b15b8519b607 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 17 Dec 2025 00:06:46 +0000
Subject: [PATCH] Fix docs.yml: Build native Z3 Python bindings before WASM to
 avoid library conflicts

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/docs.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0d010e6a6..084f05205 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -33,7 +33,16 @@ jobs:
       - name: Install system dependencies
         run: |
           sudo apt-get update
-          sudo apt-get install -y doxygen graphviz python3
+          sudo apt-get install -y doxygen graphviz python3 python3-pip
+
+      - name: Build Z3 natively for Python documentation
+        run: |
+          python3 scripts/mk_make.py --python
+          cd build && make -j$(nproc)
+          cd ../src/api/python && python3 -m pip install --user .
+
+      - name: Clean build directory for WASM
+        run: rm -rf build
 
       - name: Setup emscripten
         uses: mymindstorm/setup-emsdk@v14