Fixing CI + better strategy for finding brew path

coq · Dec 20, 2023 · 4f0a01f · 4f0a01f
1 parent e7fb6f2
commit 4f0a01f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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!