From fc72855e55e6f72ae884dd7b612ac6c641a444a8 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Wed, 17 Dec 2025 17:18:33 +0000 Subject: [PATCH] Fix docs.yml workflow: resolve WASM/native library conflict in documentation generation (#8093) * Initial plan * Fix docs.yml: Build native Z3 Python bindings before WASM to avoid library conflicts Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> 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