locate libgmp

FStarLang · Sep 9, 2023 · ae7e2b9 · ae7e2b9
1 parent 7363057
commit ae7e2b9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/setup-macos.sh b/.github/setup-macos.sh
@@ -1,9 +1,15 @@
 #!/usr/bin/env bash
 
+set -e
+set -x
+
 # Install OCaml and other GNU build tools
 # coreutils: for the `install` command used in install-ulib.sh
 export OPAMYES=1
 brew install opam bash gnu-getopt coreutils gnu-sed
+brew search libgmp
+false
+
 opam init --compiler=4.12.0
 eval $(opam env)