通过关注并安装 sharpSAT ，假设运行 setupdev.sh 脚本，然后运行 make 命令。当运行 make 时，我得到
找不到“gmpxx.h”文件错误。我确实发现了很多关于错误 'gmp.h' not find 的信息，例如。在here , here和 here ，但这些是在使用 pip 或 brew 安装其他软件包时的情况。
我还尝试过包含 usr/local/include (gmpxx.h 位于 usr/local/indluce/gmpxx.h >) 按照建议添加到 .bash_profile 中的路径变量 here ，但没有取得好的结果。
有什么建议吗？
最佳答案
您的系统在定位 GNU 多精度库时遇到问题。此答案假设您使用 brew install gmp 来安装多精度库。
在 SharpSAT 的 CMakeLists.txt 中，更改以下行:
include_directories(/opt/local/include)
至:
include_directories("/usr/local/Cellar/gmp/X.Y.Z/include")
其中 X.Y.Z 是您的 gmp 版本。要确定您安装的 gmp 版本(以及 homebrew 安装 gmp 的位置)，请调用:
找到gmp
您可能需要构建位置数据库，这可能需要一些时间。
您应该仔细检查您的系统是否不再有 /opt/local/include。
关于c++ - 在 macOS Mojave 上安装 SharpSAT - 找不到 "' gmpxx.h' 文件”，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/55217122/