Odpowiedzi:
Dostępna mpfr
wersja dla 13.04 to 3.1.1-1
. Więcej informacji na stronie packages.ubuntu.com .
Możesz go zainstalować:
sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
apt-cache madison libgmp10
i apt-cache madison libgmp-dev
. Jakkolwiek po prostu przetestuj za pomocą sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
. Nie trzeba dawać Y, aby zainstalować. przetestuj do tego.
Próbujesz budować mpfr
ze źródła. To zależy od gmp
. Wersja nagłówka i biblioteki nie pasują do siebie, ponieważ są one odczytywane z różnych miejsc.
Aby tego uniknąć, możesz odpowiednio configure
zbudować. Zobaczysz w wynikach, configure
czy wersje
gmp.h
i libgmp
pasują czy nie, nie ma potrzeby uzyskiwania błędu make
.
Aby uzyskać prawidłową konfigurację, uruchom
./configure --prefix=<location where to place mpfr> --with-gmp=<location where to look for gmp>
gdzie
<location where to place mpfr>
jest cokolwiek chcesz. Np. Katalogi systemowe, jeśli masz uprawnienia do instalacji, lub w katalogu domowym. Użyłem $HOME/usr/local
na przykład.
<location where to look for gmp>
jest gdzie gmp
jest zainstalowany. Wygląda na to, że istnieją dwie wersje gmp
twojego systemu z powodu niedopasowania wspomnianego w komentarzach. Rozwiąż ten problem lub zbuduj / zainstaluj własny gmp
.