我正在尝试安装Parma Polyhedra库，该库在配置文件中具有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？