The version I actually want to use I have just installed and can see in /usr/local/lib (odd that this doesn't appear above??).
locate depende de um banco de dados que é reconstruído periodicamente por updatedb . Se você adicionar arquivos ao seu sistema entre duas execuções de updatedb , locate naturalmente não os verá. (Este banco de dados é porque locate é muito mais rápido que um find em todo o sistema de arquivos. A desvantagem é que sua saída pode estar desatualizada.)
Existem maneiras de forçar o updatedb a ser executado novamente, mas o método depende da distribuição específica do Linux, e seria uma questão diferente de qualquer maneira.
I'm not sure exactly what to uninstall and indeed how, do I just delete?
Não, não exclua as cópias que pertencem ao Maple e ao Mathematica. É extremamente improvável que os instaladores tenham adicionado esses caminhos ao caminho de pesquisa da biblioteca padrão do compilador.
Você pode verificar isso com este comando:
$ ld --verbose | grep SEARCH
Você não deve ver ~/maple ou /usr/local/Wolfram em qualquer lugar da saída.
locate libgmp doesn't even find the one under /usr
Sim, na verdade. A biblioteca em /usr/lib/i386-linux-gnu é a que seu documento INSTALL está se referindo. O documento INSTALL é literalmente verdadeiro apenas para sistemas * ix tradicionais e simples. Às vezes, os ixes divergem da prática padrão de colocar arquivos diretamente em /usr/lib . Neste caso, é por causa da transição contínua de 32 para 64 bits que acontece no mundo Linux x86.
Algum dia, no futuro, quando todos os sistemas de 32 bits estiverem inativos, as distribuições do Linux poderão reverter para o antigo estilo /usr/lib .
Tenha em atenção que o esquema que o seu sistema parece utilizar não é universal nem dentro dos Linuxes. Outro esquema comum é colocar bibliotecas de 32 bits em /usr/lib e bibliotecas de 64 bits em /usr/lib64 .
O ponto importante aqui é que esses diretórios de biblioteca do sistema não estão à frente de /usr/local/lib para o sistema de compilação do seu pacote fazer a coisa certa. O comando ld que eu dei acima dirá isso. Se acontecer que /usr/local/lib não esteja à frente de /usr/lib* como os criadores de MPFR assumiram, você terá que encontrar uma maneira de empurrá-lo adiante.
Uma maneira de fazer isso é:
$ ./configure LDFLAGS=-L/usr/local/lib
Pode haver um método mais elegante, fornecido no documento INSTALL . Ou diga:
$ ./configure --help | grep -i gmp
Isso informará se há alguma opção de script configure relacionada ao GMP que permita controlar qual biblioteca ela usa.