From a017660c8f9a4b459131fbabcdc3094abeee1938 Mon Sep 17 00:00:00 2001
From: Tahina Ramananandro <taramana@microsoft.com>
Date: Sat, 9 Sep 2023 11:30:10 -0700
Subject: [PATCH] show contents of installed gmp

---
 .github/setup-macos.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/setup-macos.sh b/.github/setup-macos.sh
index b1ba2d49430..196fc5101bc 100755
--- a/.github/setup-macos.sh
+++ b/.github/setup-macos.sh
@@ -7,7 +7,9 @@ set -x
 # coreutils: for the `install` command used in install-ulib.sh
 export OPAMYES=1
 brew install opam bash gnu-getopt coreutils gnu-sed
-brew info gmp
+gmpdir=$(brew --prefix gmp)
+[[ -n $gmpdir ]]
+ls -laR $gmpdir
 false
 
 opam init --compiler=4.12.0