Ответы:
Доступная mpfr
версия для 13.04 есть 3.1.1-1
. См. Packages.ubuntu.com для информации.
Вы можете установить его:
sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
apt-cache madison libgmp10
и apt-cache madison libgmp-dev
. Как нибудь просто проверить с sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
. Не нужно давать Y для установки. проверить с этим.
Вы пытаетесь построить mpfr
из источника. Это зависит от того gmp
. Версия заголовка и библиотеки не совпадают, так как они читаются из разных мест.
Чтобы избежать этого, вы можете соответственно configure
построить. На выходе вы увидите, совпадают configure
ли версии
gmp.h
и libgmp
совпадают, нет необходимости получать сообщение об ошибке make
.
Для правильной конфигурации запустите
./configure --prefix=<location where to place mpfr> --with-gmp=<location where to look for gmp>
где
<location where to place mpfr>
это все, что вы хотите. Например, системные каталоги, если у вас есть права на установку там или в вашем домашнем каталоге. Я использовал $HOME/usr/local
, например.
<location where to look for gmp>
это где gmp
установлен. Кажется, gmp
в вашей системе есть две версии из- за несоответствия, указанного в комментариях. Либо решите это, либо создайте / установите свой собственный gmp
.