A versão mpfr
disponível para 13.04 é 3.1.1-1
. Consulte packages.ubuntu.com para obter informações.
Você pode instalá-lo por:
sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
Eu tenho o Ubuntu 13.04 com processador "CPU Intel® Core ™ 2 Duo E8400 @ 3.00GHz × 2"
Estou tentando instalar mpfr-3.1.2
, mas o erro está chegando.
"ERROR! The versions of gmp.h (5.1.3) and libgmp (5.0.5) do not match."
No comando make
também está mostrando isso como aviso.
Como resolver isso?
A versão mpfr
disponível para 13.04 é 3.1.1-1
. Consulte packages.ubuntu.com para obter informações.
Você pode instalá-lo por:
sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg
Você está tentando criar mpfr
da fonte. Depende de gmp
.
A versão do cabeçalho e da biblioteca não correspondem, pois estão sendo lidos de diferentes lugares.
Para evitar isso, você pode apropriadamente configure
da compilação.
Você verá na saída de configure
se as versões de
gmp.h
e libgmp
correspondem ou não
não há necessidade de obter o erro de make
.
Para uma configuração adequada, execute
./configure --prefix=<location where to place mpfr> --with-gmp=<location where to look for gmp>
onde
<location where to place mpfr>
é o que você quiser. Por exemplo, diretórios do sistema, se você tiver direitos para instalar lá, ou sob o seu diretório pessoal. Eu usei $HOME/usr/local
, por exemplo.
<location where to look for gmp>
é onde gmp
está instalado. Parece que há duas versões de gmp
em seu sistema devido à incompatibilidade mencionada nos comentários. Ou resolva isso, ou crie / instale seu próprio gmp
.
Tags make libraries installation