sistema - cómo actualizar make 3.81 linux

mp3tag ubuntu

Question

Soy nuevo en Linux (nuevo como lo instalé ayer), lo necesito para mi curso de programación en la universidad y me han dicho que instale versiones específicas de programas específicos, pero aunque he usado apt-get install para instalarlo ellos (habiendo hecho previamente apt-get update) no están en la versión correcta.

Los programas que necesito son make 4.0 y valgrind 3.10.1.

Las instalaciones apt-get hacen 3.81 y valgrind 3.10.0.SVN.

Intenté escribir "apt-get install make4.0" y "apt-get install valgrind10.3.1" en vano. Los descargué de Internet y seguí las instrucciones que podía entender para instalar las versiones más nuevas, pero sigue diciendo que tengo las más antiguas. (No estoy seguro si puedo publicar enlaces directos aquí, si puedo avisarme y publicaré de dónde los obtuve).

¿Qué he estado haciendo mal? ¿Cómo puedo arreglar esto?

Actualmente estoy ejecutando Linux Mint.

Gracias por cualquier respuesta de antemano.

Answer 1

Debido a un informe de fallas de Debian no resuelto de larga data, GNU Make se mantuvo en el antiguo 3.81 en Debian durante mucho tiempo, y como consecuencia, en distribuciones basadas en Debian como Ubuntu y Mint.

La última versión de Debian, Jessie, se ha actualizado a 4.0 , por lo que las distribuciones basadas en Debian tendrán esa actualización. Sin embargo, es mejor usar 4.1 .

Esto ha sido discutido muchas veces en la lista de correo GNU Make y en otros lugares .

Entonces, para obtener una versión más nueva, debe compilarla desde cero. Esto es facil:

1. Instale los paquetes requeridos ( gcc , make y tal).
2. Abra un shell (si está usando la GUI, una ventana de terminal).

3. Escriba los siguientes comandos (o algo equivalente, por ejemplo, puede usar curl lugar de wget ):

   cd /tmp
   wget http://ftp.gnu.org/gnu/make/make-4.1.tar.gz
   tar xvf make-4.1.tar.gz
   cd make-4.1/
   ./configure
   make
   sudo make install
   rm -rf make-4.1.tar.gz make-4.1

Ahora, make 4.1 esté en /usr/local/bin/make .

Puedes hacer que sea tu make predeterminada prefijando /usr/local/bin a tu variable $PATH en tu archivo de inicio de shell; por ejemplo, en .profile o .bashrc si usa el shell bash .

No intente instalar una make auto compilada (o cualquier otra cosa que no provenga del administrador de paquetes de la distribución) en /bin o /usr/bin ; Hacer eso confundirá a su administrador de paquetes.