From 00ce8a6d700a4ad037fafac543969ea69b9a3547 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Thu, 25 Apr 2024 20:38:35 +0100
Subject: [PATCH] Ensure all GNU coreutils are available

macOS Ventura (14) has added a realpath utility which causes brew's
coreutils package to install realpath as grealpath. Follow brew's
configuration advice for the PATH variable.
---
 .github/scripts/main/preamble.sh | 3 +++
 master_changes.md                | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.github/scripts/main/preamble.sh b/.github/scripts/main/preamble.sh
index 53fb04d05ff..19bb37f5032 100644
--- a/.github/scripts/main/preamble.sh
+++ b/.github/scripts/main/preamble.sh
@@ -10,6 +10,9 @@ fi
 echo "Cache -> $CACHE"
 OCAML_LOCAL=$CACHE/ocaml-local
 OPAM_LOCAL=$CACHE/opam-local
+if [ "$RUNNER_OS" = 'macOS' ]; then
+  PATH="/opt/homebrew/opt/coreutils/libexec/gnubin:$PATH"
+fi
 PATH=$OPAM_LOCAL/bin:$OCAML_LOCAL/bin:$PATH; export PATH
 
 OPAM_COLD=${OPAM_COLD:-0}
diff --git a/master_changes.md b/master_changes.md
index cea1b3a25e8..bc9acf126f3 100644
--- a/master_changes.md
+++ b/master_changes.md
@@ -70,6 +70,7 @@ users)
 ## Build
 
 ## Infrastructure
+  * Ensure GNU coreutils available on the macOS 14 CI runners [#5938 @dra27]
 
 ## Release scripts