Ответы:
Доступная 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.