From 4f0a01fa66f65d0e0d131527297865190d8f9d7e Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 19 Dec 2023 14:48:44 +0100
Subject: [PATCH] Fixing CI + better strategy for finding brew path

---
 macos/create_installer_macos.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/macos/create_installer_macos.sh b/macos/create_installer_macos.sh
index 42f57fa381..8fb5421c91 100755
--- a/macos/create_installer_macos.sh
+++ b/macos/create_installer_macos.sh
@@ -115,12 +115,13 @@ echo "##### Coq version = ${COQ_VERSION} (Mac app version=${COQ_VERSION_MACOS})
 
 set +e
 PORTCMD="$(which port)"
+BREWCMD="$(which brew)"
 set -e
 
 if [ -z "${PORTCMD}" ]; then
   PKG_MANAGER=brew
-  PKG_MANAGER_ROOT="/usr/local/"
-  PKG_MANAGER_ROOT_STRIP="/usr/local/Cellar/*/*/" # one * for the package name and one for its version
+  PKG_MANAGER_ROOT="${BREWCMD%bin/brew}"
+  PKG_MANAGER_ROOT_STRIP="${PKG_MANAGER_ROOT}Cellar/*/*/" # one * for the package name and one for its version
 else
   PKG_MANAGER=port
   # If someone knows a better way to find out where port is installed, please let me know!