默认情况下，Mac High Sierra上的GMP安装在哪里？

Question

我刚刚在Mac High Sierra上下载了GMP 6.1.2的tar.bz2文件。在配置，制作和安装所有内容之后没有错误，我无法弄清楚我的GMP路径究竟是什么。该网站说我的默认路径是/ usr / local，但我在那里看不到任何东西

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

GMP在Mac OS X（High Sierra）上安装到哪里？

Answer 1

应该安装。检查子目录。如果确实安装了预期的库，也运行find命令来匹配。