37 votos

¿Cómo instalar la última biblioteca gmp en 12.04?

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.

44voto

john Puntos 131

Puedes instalar gmp con el siguiente comando.

sudo apt-get install libgmp3-dev

Además, consulte este puesto .

EnMiMaquinaFunciona.com

EnMiMaquinaFunciona es una comunidad de administradores de sistemas en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros sysadmin, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X