changeset 30013:2362fbd42c17

GitHub-CI: Add macOS 11 runner. * .github/workflows/make.yaml (macos): Add macOS 11 runner. Use makeinfo from Homebrew.
author Markus Mützel <markus.muetzel@gmx.de>
date Thu, 19 Aug 2021 15:09:19 +0200
parents 18d98ccee2b0
children 18bddb0dd084
files .github/workflows/make.yaml
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Thu Aug 19 00:45:09 2021 -0400
+++ b/.github/workflows/make.yaml	Thu Aug 19 15:09:19 2021 +0200
@@ -137,7 +137,7 @@
     strategy:
       matrix:
         # For available GitHub-hosted runners, see: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
-        os: [macos-10.15]
+        os: [macos-10.15, macos-11]
         # Most (or all) homebrew packages are compiled with clang and link
         # against libc++.  So we also use clang to avoid issues with symbols
         # that don't match.
@@ -268,7 +268,9 @@
         # automatically.
         continue-on-error: true
         timeout-minutes: 60
-        run: make -C ./.build check
+        run: |
+          echo 'makeinfo_program ("/usr/local/opt/texinfo/bin/makeinfo");' >> ./scripts/startup/site-rcfile
+          make -C ./.build check
 
       - name: display test log
         continue-on-error: true