WIP: Move macOS builds from Azure Pipelines to GitHub Actions

This simplifies the CI setup substantially.

Author: joshtriplett

.github/workflows/ci.yml

@@ -7,7 +7,7 @@ on:
     branches: [ master ]
 
 jobs:
-  test:
+  test-linux:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v3
@@ -76,3 +76,41 @@ jobs:
           # `test_translator.py` does not rebuild,
           # so changing `RUSTFLAGS` will not trigger a full rebuild.
           ./scripts/test_translator.py tests/
+
+  test-mac:
+    runs-on: macos-14
+    steps:
+      - uses: actions/checkout@v3
+      - run: rustup component add rustfmt rustc-dev
+      # Needs adding to the safelist for c2rust GitHub Actions
+      #- uses: Swatinem/rust-cache@v2
+      - name: Provision macOS
+        run: |
+          ./scripts/provision_mac.sh
+          # speeds up provisioning
+          export HOMEBREW_NO_AUTO_UPDATE=1
+          # prepare environment for the following steps
+          source $HOME/.cargo/env
+          # print some useful info to help troubleshoot
+          brew info llvm@17
+          which python3
+          /usr/bin/env python3 -c "import sys; print(sys.path)"
+
+      - name: cargo build --release
+        run: |
+          export LLVM_CONFIG_PATH=$(brew --prefix llvm@17)/bin/llvm-config
+          export RUSTFLAGS="-D warnings"
+          export RUSTDOCFLAGS="-D warnings"
+          # Don't build with `--all-features` (see analogous step for Linux).
+          cargo build --release
+
+      - name: cargo test --release --workspace
+        run: |
+          export RUSTFLAGS="-D warnings"
+          export RUSTDOCFLAGS="-D warnings"
+          cargo test --release --workspace
+
+      - name: Test translator
+        run: |
+          # `RUSTFLAGS` not set (see analogous step for Linux).
+          ./scripts/test_translator.py tests/

scripts/provision_mac.sh

@@ -23,8 +23,8 @@ export HOMEBREW_NO_AUTO_UPDATE=1
 brew install -q python cmake ninja gpg llvm@17 bash
 
 # Python 3 packages
-python3 -m pip install --user --upgrade pip
-python3 -m pip install --user -r "$SCRIPT_DIR/requirements.txt"
+python3 -m pip install --break-system-packages --user --upgrade pip
+python3 -m pip install --break-system-packages --user -r "$SCRIPT_DIR/requirements.txt"
 
 # Rust and dependencies
 RUST_TOOLCHAIN_FILE="$SCRIPT_DIR/../rust-toolchain.toml"