Sé que debe ser de la forma "sudo apt-get install". Pero, ¿cuál debería ser el nombre de la biblioteca? Y después de la instalación, cómo verificar que se ha instalado correctamente.
Respuesta
¿Demasiados anuncios?
john
Puntos
131
Puedes instalar gmp con el siguiente comando.
sudo apt-get install libgmp3-dev
Además, consulte este puesto .