Experiment with macos-14 (arm64) CI

.github/workflows/ci.yml

@@ -13,12 +13,16 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest, macos-13, windows-latest]
+        os: [ubuntu-latest, macos-13, macos-14, windows-latest]
         cc: ["gcc", "clang"]
         codegen: ["amd64", "c", "llvm"]
         exclude:
           - os: macos-13
             cc: "gcc"
+          - os: macos-14
+            cc: "gcc"
+          - os: macos-14
+            codegen: "amd64"
           - os: windows-latest
             cc: "clang"
           - os: windows-latest
@@ -71,6 +75,19 @@ jobs:
           mv mlton-20210117-1.amd64-darwin-19.6.gmp-homebrew/* .
           rmdir mlton-20210117-1.amd64-darwin-19.6.gmp-homebrew
 
+      - name: Install dependencies (macos (arm64))
+        if: ${{ matrix.os == 'macos-14' }}
+        run: |
+          # brew update
+          brew install gmp
+          echo "WITH_GMP_DIR=/usr/local" >> $GITHUB_ENV
+          if [[ "${{ matrix.codegen }}" == "llvm" ]]; then brew install llvm; echo "$(brew --prefix llvm)/bin" >> $GITHUB_PATH; fi
+          mkdir boot && cd boot
+          curl -O -L https://projects.laas.fr/tina/software/mlton-20210117-1.arm64-darwin-21.6-gmp-static.tgz
+          tar xzf mlton-20210117-1.arm64-darwin-21.6-gmp-static.tgz --exclude='*/share'
+          mv mlton-20210117-1.arm64-darwin-21.6-gmp-static/* .
+          rmdir mlton-20210117-1.arm64-darwin-21.6-gmp-static
+
       - name: Install msys2 (windows)
         if: ${{ startsWith(matrix.os, 'windows') }}
         uses: msys2/setup-msys2@v2