From f8e54591df44c73cd20efdfbda0d5f4892316150 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Wed, 15 May 2024 10:37:56 -0400 Subject: [PATCH] Experiment with macos-14 (arm64) CI --- .github/workflows/ci.yml | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1af7685a1..3c058f8bc 100644 --- a/.github/workflows/ci.yml +++ b/.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