Merge pull request #43 from mumei-lang/devin/1772814020-fix-cross-compile-ci

fix: use macos-13 for x86_64-apple-darwin, build static Z3 for musl

Author: AkiraTamai

.github/workflows/release.yml

@@ -13,7 +13,7 @@ jobs:
       matrix:
         include:
           - target: x86_64-apple-darwin
-            os: macos-latest
+            os: macos-13
             name: mumei-x86_64-apple-darwin
           - target: aarch64-apple-darwin
             os: macos-latest
@@ -36,7 +36,7 @@ jobs:
         with:
           targets: ${{ matrix.target }}
       - name: Install system dependencies (Ubuntu)
-        if: runner.os == 'Linux'
+        if: runner.os == 'Linux' && !matrix.musl
         run: |
           sudo apt-get update
           sudo apt-get install -y libz3-dev pkg-config libssl-dev libzstd-dev
@@ -48,10 +48,33 @@ jobs:
           sudo apt-get install -y llvm-17-dev libclang-17-dev libpolly-17-dev
           echo "LLVM_SYS_170_PREFIX=/usr/lib/llvm-17" >> $GITHUB_ENV
           echo "LIBCLANG_PATH=/usr/lib/llvm-17/lib" >> $GITHUB_ENV
-      - name: Install musl toolchain
+      - name: Install musl toolchain and static dependencies
         if: matrix.musl
         run: |
-          sudo apt-get install -y musl-tools
+          sudo apt-get update
+          sudo apt-get install -y musl-tools pkg-config libzstd-dev cmake ninja-build python3
+          # LLVM 17 from official apt repo
+          wget -qO- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo tee /etc/apt/trusted.gpg.d/apt.llvm.org.asc > /dev/null
+          codename=$(lsb_release -cs)
+          echo "deb http://apt.llvm.org/${codename}/ llvm-toolchain-${codename}-17 main" | sudo tee /etc/apt/sources.list.d/llvm-17.list > /dev/null
+          sudo apt-get update
+          sudo apt-get install -y llvm-17-dev libclang-17-dev libpolly-17-dev
+          echo "LLVM_SYS_170_PREFIX=/usr/lib/llvm-17" >> $GITHUB_ENV
+          echo "LIBCLANG_PATH=/usr/lib/llvm-17/lib" >> $GITHUB_ENV
+          # Build Z3 as a static library for musl compatibility
+          Z3_VERSION=4.13.4
+          curl -sL https://github.com/Z3Prover/z3/archive/refs/tags/z3-${Z3_VERSION}.tar.gz | tar xz
+          cd z3-z3-${Z3_VERSION}
+          mkdir build && cd build
+          cmake -G Ninja .. -DCMAKE_INSTALL_PREFIX=/usr/local/z3-static \
+            -DZ3_BUILD_LIBZ3_SHARED=OFF \
+            -DCMAKE_C_COMPILER=musl-gcc \
+            -DCMAKE_CXX_COMPILER=g++ \
+            -DCMAKE_POSITION_INDEPENDENT_CODE=ON
+          ninja -j$(nproc)
+          sudo ninja install
+          echo "Z3_SYS_Z3_HEADER=/usr/local/z3-static/include/z3.h" >> $GITHUB_ENV
+          echo "Z3_SYS_Z3_LIB_DIR=/usr/local/z3-static/lib" >> $GITHUB_ENV
       - name: Install system dependencies (macOS)
         if: runner.os == 'macOS'
         run: |