Come installare GMP in Ubuntu

May 25

Come installare GMP in Ubuntu


Anche se le navi Ubuntu con la propria implementazione del multipla aritmetica Biblioteca di precisione GNU già installati, se è necessario l'ultima e più completa versione del software, è necessario scaricare, compilare e installare da soli. L'archivio GMP compresso contiene tutte le utilità del codice sorgente e di configurazione necessari, nonché una serie di programmi dimostrativi si può costruire per testare le librerie.

istruzione

1 Scarica l'ultima versione stabile del codice sorgente di GMP dal sito dello sviluppatore utilizzando il link trovato in Risorse.

2 Avviare una sessione di Terminal, estrarre il contenuto dell'archivio GMP nella cartella trasferita a e quindi impostare la cartella di codice sorgente estratta come directory attiva. Ad esempio, se è stato scaricato il file "gmp-6.0.0a.tar.lz" dal sito GMP, aprire la cartella estratta "gmp-6.0.0".

3 Costruire il makefile per GMP. Lo script di configurazione esaminerà il vostro sistema per vedere che tutte le dipendenze hardware e software di GMP sono soddisfatte e quindi creare il makefile che contiene i comandi necessari al compilatore di creare file di libreria binari. Ad esempio, se si sta lavorando con una nuova installazione di Ubuntu, lo script di configurazione ti consente di sapere che è necessario installare il processore di macro M4 prima. Per costruire il makefile, digitare il seguente comando al prompt dei comandi e premere "Invio"

./configure

Se è necessario installare M4 o di qualsiasi altra dipendenza, eseguire nuovamente il comando "./configure".

4 Crea file di libreria binari di GMP con il comando Crea. Fare compila e collega tutti i singoli componenti della biblioteca GMP. Tipo "fare" al prompt dei comandi e quindi premere "Invio". Compilazione potrebbe richiedere qualche minuto per completare. Ad esempio, GMP versione 6.0 è costituito da 2581 singoli file che devono essere pre-processi, compilati, assemblate e collegate.

5 Installare le librerie di GMP sul vostro sistema. Mentre si può compilare GMP come utente normale, è necessario il permesso di root e il comando sudo per installare le librerie di sistema. Digitare il seguente comando al prompt del terminale, premere "Invio", digitare la password e premere "Invio" per installare GMP.

sudo make install

file di libreria di GMP saranno memorizzati nella cartella / usr / local / lib. I file di libreria GMP che Ubuntu installato per impostazione predefinita, tuttavia, rimangono / usr / lib / i386-linux-gnu / nei sistemi a 32-bit o usr / lib / x86_64-linux-gnu / su sistemi a 64 bit. Se un programma si utilizza richiede la versione del GMP è stato compilato, sarà necessario configurarlo per cercare le librerie nella directory / usr / local / lib invece.

Consigli e avvertenze

  • Utilizzare il comando make per disinstallare GMP se non si desidera che disponibile a livello di sistema o non è più necessario le librerie a tutti. makefile del GMP contiene tutte le informazioni necessarie per rimuovere in modo pulito i suoi file dalla directory di root. Per disinstallare GMP, passare alla directory si è compilato GMP entro e quindi eseguire il seguente comando al prompt del terminale:
  • sudo make uninstall
  • Le informazioni in questo articolo si applica a Ubuntu 14.04 Trusty Tahr e GMP versione 6.0.0. Le procedure possono variare con altre versioni di Ubuntu o GMP. Il pacchetto include una utility GMP "Check", che prende in esame il codice generato per gli errori causati dal compilatore del sistema. Prima di eseguire "make install" e aggiungere le librerie GMP per la vostra macchina di produzione, eseguire il seguente comando al prompt del terminale:
  • make check
  • Se vengono segnalati errori, è possibile installare GMP.