TEMP: macOS e2e CI pinning the unreleased stack

Build the aarch64 cross-compiler (pinning Solo5/solo5#641) and cross-build
zarith with it: install ocaml-gmp (mirage/ocaml-gmp#29) for its relocatable
gmp.pc, then point OCAMLC/OCAMLOPT/... at `ocamlfind -toolchain solo5` and
PKG_CONFIG_PATH at that gmp.pc so zarith's configure (ocaml/Zarith#173) compiles
caml_z.c with the cross cc against ocaml-gmp. Drop this commit, or the pins,
once the forks are in opam.

Author: samoht

.github/workflows/test.yml

@@ -44,3 +44,44 @@ jobs:
       run: MODE=muen opam exec -- dune build --root example
     - name: Compile examples with xen
       run: MODE=xen opam exec -- dune build --root example
+
+  # TEMP: end-to-end macOS check that pins the not-yet-released stack
+  # (Solo5/solo5#641, mirage/ocaml-gmp#29, ocaml/Zarith#173). Drop the pins and
+  # the fork clones once those land in opam.
+  macos-e2e:
+    name: macOS aarch64 e2e (zarith)
+    runs-on: macos-latest
+    env:
+      OPAMYES: 1
+    steps:
+    - uses: actions/checkout@v6
+    - name: Install the LLVM toolchain and target runtime
+      run: |
+        brew install llvm lld aarch64-elf-gcc pkg-config
+        echo "$(brew --prefix llvm)/bin" >> "$GITHUB_PATH"
+        echo "$(brew --prefix lld)/bin" >> "$GITHUB_PATH"
+    - uses: ocaml/setup-ocaml@v3
+      with:
+        ocaml-compiler: 5.4.1
+        opam-pin: false
+    - name: Pin the stack and build the cross-compiler
+      run: |
+        opam pin add -n solo5 git+https://github.com/samoht/solo5.git#macos
+        opam pin add -n solo5-cross-aarch64 git+https://github.com/samoht/solo5.git#macos
+        opam pin add -n gmp git+https://github.com/samoht/ocaml-gmp.git#ship-gmp-pc
+        opam pin add -n zarith git+https://github.com/samoht/zarith.git#honor-ocaml-env
+        opam pin add -n ocaml-solo5-cross-aarch64 .
+        opam install ocaml-solo5-cross-aarch64
+    - name: Cross-build zarith against ocaml-gmp's pkg-config (Zarith#173)
+      run: |
+        set -euo pipefail
+        opam remove -y zarith gmp conf-gmp || true
+        opam install gmp   # ocaml-gmp fork: relocatable gmp.pc under lib/pkgconfig
+        OCAMLC="ocamlfind -toolchain solo5 ocamlc" \
+        OCAMLOPT="ocamlfind -toolchain solo5 ocamlopt" \
+        OCAMLDEP="ocamlfind -toolchain solo5 ocamldep" \
+        OCAMLMKLIB="ocamlfind -toolchain solo5 ocamlmklib" \
+        PKG_CONFIG_PATH="$(opam var lib)/pkgconfig:${PKG_CONFIG_PATH:-}" \
+        opam install zarith --verbose 2>&1 | tee zarith-build.log
+        # fail unless zarith was actually built through the solo5 cross toolchain
+        grep -qE 'aarch64-solo5-ocaml|toolchain solo5' zarith-build.log