已安装 GMP 但看不到它

Question

我正在尝试安装帕尔马多面体库，它在配置文件中将 GMP 作为依赖项。所以我下载了 GMP，运行

"./configure --enable-cxx; make; sudo make install;"

，一切似乎都没有问题。我用不同版本的 GMP 尝试了几次，没有错误消息。

但是，当我尝试运行 PPL 库的配置文件时，我仍然遇到这些问题：

Checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.

我还尝试使用

"./configure  --with-gmp-include=/usr/local/include  --with-gmp-lib=/usr/local/lib"

运行 PPL 配置，但遇到了相同的错误。

我使用的是旧版 32 位 Ubuntu。

我需要做什么才能确保我的系统意识到我安装了 GMP？

Answer 1

我通过安装 GMP 版本 4.3.1 解决了这个问题。我没有阅读 CONFIGURE 文件，但这可能是脚本中的错误。