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.
This commit is contained in:
ISSOtm
2026-03-17 10:40:42 +01:00
committed by Eldred Habert
parent a9b6cda77b
commit 60d58723aa

View File

@@ -7,8 +7,11 @@ case "${1%-*}" in
sudo apt-get -qq update sudo apt-get -qq update
sudo apt-get install -yq bison libpng-dev pkg-config sudo apt-get install -yq bison libpng-dev pkg-config
;; ;;
macos) macos)
brew install bison sha2 md5sha1sum # 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, # 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`...) # instead of the outdated one preinstalled on macOS (which doesn't even support `-Wall`...)
export PATH="/opt/homebrew/opt/bison/bin:$PATH" export PATH="/opt/homebrew/opt/bison/bin:$PATH"