在macOS Mojave上安装sharpSAT“'gmpxx.h'文件未找到”

Question

通过跟随并从sharpSAT安装，我们假设运行setupdev.sh脚本，然后运行make命令。运行make时，我得到 'gmpxx.h' file not found错误。我确实发现了很多关于错误'gmp.h' not found的信息，例如在here、here和here，但是这些都是在用pip或brew安装其他软件包时发现的。你知道吗

我也尝试过将usr/local/include（gmpxx.h位于usr/local/indluce/gmpxx.h）包含到.bash_profile中的路径变量，如建议的here，但没有很好的结果。你知道吗

有什么建议吗？你知道吗