Comment installer la dernière bibliothèque gmp en 12.04?

27

Je sais que cela devrait être de la forme "sudo apt-get install". Mais quel devrait être le nom de la bibliothèque? Et après l'installation, comment vérifier qu'il a été correctement installé.

    
posée Utpal Kumar Ray 28.10.2012 - 17:09
la source

1 réponse

29

Vous pouvez installer gmp en utilisant la commande suivante.

sudo apt-get install libgmp3-dev

Découvrez également cet article .

    
réponse donnée john 05.11.2012 - 08:45
la source

Lire d'autres questions sur les étiquettes