Risposte:
La mpfrversione disponibile per 13.04 è 3.1.1-1. Vedi pacchetti.ubuntu.com per informazioni.
Puoi installarlo tramite:
sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
apt-cache madison libgmp10e apt-cache madison libgmp-dev. Come mai solo test con il sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg. Non è necessario fornire Y per l'installazione. prova fino a quello.
Stai provando a costruire mpfrdalla fonte. Dipende da gmp. La versione dell'intestazione e della libreria non corrispondono, poiché vengono lette da luoghi diversi.
Per evitare ciò, puoi opportunamente configurecostruire. Vedrai nell'output configurese le versioni di
gmp.he libgmpcorrispondono o no, non è necessario ottenere l'errore da make.
Per una corretta configurazione, eseguire
./configure --prefix=<location where to place mpfr> --with-gmp=<location where to look for gmp>
dove
<location where to place mpfr>è tutto quello che vuoi. Ad esempio, directory di sistema, se si dispone dei diritti per l'installazione lì o nella directory home. Ho usato $HOME/usr/local, per esempio.
<location where to look for gmp>è dove gmpè installato. Sembra che ci siano due versioni di gmpnel tuo sistema a causa della mancata corrispondenza menzionata nei commenti. O risolvilo, o costruisci / installa il tuo gmp.