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

Naviguer dans vos réponses
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

Comment faire pour que «apt-get upgrade» utilise moins de ressources? Existe-t-il une touche de raccourci Unity / Compiz permettant de déplacer une fenêtre vers votre autre moniteur (pas l'espace de travail)? [dupliquer]