Wiem, że powinien on mieć postać „sudo apt-get install”. Ale jak powinna się nazywać biblioteka? A po instalacji, jak sprawdzić, czy został poprawnie zainstalowany.
Wiem, że powinien on mieć postać „sudo apt-get install”. Ale jak powinna się nazywać biblioteka? A po instalacji, jak sprawdzić, czy został poprawnie zainstalowany.
Odpowiedzi:
Możesz zainstalować gmp za pomocą następującego polecenia.
sudo apt-get install libgmp3-dev
Sprawdź także ten post .