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é.
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é.
Vous pouvez installer gmp en utilisant la commande suivante.
sudo apt-get install libgmp3-dev
Découvrez également cet article .
Lire d'autres questions sur les étiquettes software-installation