Я пытаюсь установить библиотеку 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.
Я также пробовал запустить настройку PPL с "./configure --with-gmp-include=/usr/local/include --with-gmp-lib=/usr/local/lib", но получаю ту же ошибку.
Я использую старую версию Ubuntu с 32-битной версией.
Что мне нужно сделать, чтобы убедиться, что моя система понимает, что я установил GMP?