So che dovrebbe essere nel formato "sudo apt-get install". Ma quale dovrebbe essere il nome della biblioteca? E dopo l'installazione, come verificare che sia stato installato correttamente.
So che dovrebbe essere nel formato "sudo apt-get install". Ma quale dovrebbe essere il nome della biblioteca? E dopo l'installazione, come verificare che sia stato installato correttamente.
Risposte:
Puoi installare gmp usando il seguente comando.
sudo apt-get install libgmp3-dev
Inoltre, dai un'occhiata a questo post .