Risposte:
La mpfr
versione 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 libgmp10
e 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 mpfr
dalla fonte. Dipende da gmp
. La versione dell'intestazione e della libreria non corrispondono, poiché vengono lette da luoghi diversi.
Per evitare ciò, puoi opportunamente configure
costruire. Vedrai nell'output configure
se le versioni di
gmp.h
e libgmp
corrispondono 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 gmp
nel tuo sistema a causa della mancata corrispondenza menzionata nei commenti. O risolvilo, o costruisci / installa il tuo gmp
.