Je sais qu'il 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é installé correctement.
Je sais qu'il 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é installé correctement.
Réponses:
Vous pouvez installer gmp en utilisant la commande suivante.
sudo apt-get install libgmp3-dev
Aussi, consultez ce post .