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'elle a été correctement installée.
Réponse
Trop de publicités?
john
Points
541
Vous pouvez installer gmp en utilisant la commande suivante.
sudo apt-get install libgmp3-devAussi, consultez cet article.
