I just downloaded the tar.bz2 file for GMP 6.1.2 on Mac High Sierra. After configuring, making, and installing everything without errors, I couldn't figure out what my path to GMP actually was. The web site said my default path would be /usr/local, but I don't see anything in there
localhost:gmp-6.1.2 davea$ ls /usr/local
CODEOFCONDUCT.md Cellar LICENSE.txt SUPPORTERS.md heroku mysql packager rmagic-2.21 var
CONTRIBUTING.md Frameworks Library bin include mysql-5.5.46-osx10.8-x86_64 php5 sbin
Caskroom Homebrew README.md etc lib opt remotedesktop share
Where does GMP get installed to on Mac OS X (High Sierra)?