From 60d58723aa28ee67dd4af30b4382a823833fb1b1 Mon Sep 17 00:00:00 2001 From: ISSOtm Date: Tue, 17 Mar 2026 10:40:42 +0100 Subject: [PATCH] Use a modern GNU Make for CMake CI on macOS We can assume that CMake handles old Make correctly, but we'd like to benefit from improvements like output batching. --- .github/scripts/install_deps.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh index a6b3ab4e..f417b2e7 100755 --- a/.github/scripts/install_deps.sh +++ b/.github/scripts/install_deps.sh @@ -7,8 +7,11 @@ case "${1%-*}" in sudo apt-get -qq update sudo apt-get install -yq bison libpng-dev pkg-config ;; - macos) - brew install bison sha2 md5sha1sum + macos) + # macOS bundles GNU Make 3.81, which doesn't support synced output. + # We leave it as the default in `PATH`, to test that our Makefile works with it. + # However, CMake automatically uses Homebrew's `gmake`, so our CI has synced output. + brew install bison sha2 md5sha1sum make # Export `bison` to allow using the version we install from Homebrew, # instead of the outdated one preinstalled on macOS (which doesn't even support `-Wall`...) export PATH="/opt/homebrew/opt/bison/bin:$PATH"