show contents of installed gmp

FStarLang · Sep 9, 2023 · a017660 · a017660
1 parent 2e35254
commit a017660
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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