From 31a5805a814c2b8b9e739b59a20c4b15d3c63d8d Mon Sep 17 00:00:00 2001 From: James Mitchell Date: Fri, 24 May 2024 09:36:04 +0100 Subject: [PATCH] ci: install libtool for macosx (#1012) * ci: install libtool for macosx * ci: add gap stable-4.13 to ci.yml * ci: exclude macos / GAP 4.12 --- .github/workflows/ci.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f830c8dd8..f1043f52c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -26,14 +26,21 @@ jobs: gap-branch: - master - stable-4.12 + - stable-4.13 ABI: - 64 + exclude: + # We exclude this combination for the reasons discussed at: + # https://github.com/semigroups/Semigroups/pull/1015 + # https://github.com/gap-system/gap/issues/5640 + - os: macos + gap-branch: stable-4.12 steps: - uses: actions/checkout@v4 - name: "Install dependencies (macOS only!)" if: ${{ runner.os == 'macOS' }} - run: brew install automake + run: brew install automake libtool # Setup ccache, to speed up repeated compilation of the same binaries # (i.e., GAP and the packages) - name: "Setup ccache"