在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一样，但效果不佳结果。

有什么建议吗？

Answer 1

您的系统在查找GNU多精度库时遇到问题。该答案假定您使用override安装多精度库。

在SharpSAT的brew install gmp中，更改行：

CMakeLists.txt

收件人：

include_directories(/opt/local/include)

其中include_directories("/usr/local/Cellar/gmp/X.Y.Z/include")是您的X.Y.Z版本。要确定您安装的gmp版本（以及gmp的gmp安装位置），请致电：

homebrew

您可能需要构建位置数据库，这可能需要一些时间。

您应仔细检查系统是否不再具有locate gmp。