在 macOS Mojave 上安装 sharpSAT - “'gmpxx.h' 找不到文件”
Installing sharpSAT on macOS Mojave - "'gmpxx.h' file not found"
通过从 sharpSAT 跟随并安装，假设 运行 setupdev.sh 脚本后跟 make 命令。当 运行ning make, 我得到
'gmpxx.h' file not found 错误。我确实发现了很多关于错误 'gmp.h' not found 的信息，例如。在 here, here and here，但这些是在使用 pip 或 brew 安装其他软件包时。
我也试过按照建议 here 将 usr/local/include（gmpxx.h 位于 usr/local/indluce/gmpxx.h）包含到 .bash_profile 中的路径变量中，但是没有好的结果。
有什么建议吗？
您的系统在定位 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 的位置），调用：
locate gmp
您可能需要建立您的位置数据库，这可能需要一些时间。
您应该仔细检查您的系统是否不再有 /opt/local/include。
通过从 sharpSAT 跟随并安装，假设 运行 setupdev.sh 脚本后跟 make 命令。当 运行ning make, 我得到
'gmpxx.h' file not found 错误。我确实发现了很多关于错误 'gmp.h' not found 的信息，例如。在 here, here and here，但这些是在使用 pip 或 brew 安装其他软件包时。
我也试过按照建议 here 将 usr/local/include（gmpxx.h 位于 usr/local/indluce/gmpxx.h）包含到 .bash_profile 中的路径变量中，但是没有好的结果。
有什么建议吗？
您的系统在定位 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 的位置），调用：
locate gmp
您可能需要建立您的位置数据库，这可能需要一些时间。
您应该仔细检查您的系统是否不再有 /opt/local/include。