STR
4. Instalar GNATStudio nativo
4.1. Descargar
https://www.adacore.com/download/more
Seleccionas la plataforma
Descargas gnat-*-linux-bin y gtkada-*.tar.gz
4.2. Instalar gnatstudio
Ejecutas ./gnat-*, seleccionas la carpeta, en mi caso ~/University/4rd_Year/1st_Semester/STR/Software/gnatstudio
4.3. Instalar gtkada
Descomprimes el tar, te metes a la carpeta descomprimida y ejecutas
sudo env "PATH=$PATH" ./doinstall
Introduces el path donde instalarlo, en mi caso ~/University/4rd_Year/1st_Semester/STR/Software/gtkada e instalas.
4.4. Abrir gnatstudio
export PATH=$PATH:/home/ecomaikgolf/University/4rd_Year/1st_Semester/STR/Software/gnatstudio/bin /home/ecomaikgolf/University/4rd_Year/1st_Semester/STR/Software/gnatstudio/bin/gtkada-env.sh gnatstudio
4.5. Posible error libtinfo
Si te da un error de una librería no encontrada libtinfo.so.5 o algo así hay que hacer esta1 chapuza:
cd /usr/lib/ sudo ln -s libtinfo.so.6 libtinfo.so.5
(risas)
También puedes probar a instalar la versión exacta de libtinfo pero yo no la he encontrado y así funciona ya.
Footnotes:
1
O la que corresponda, cambiando el los nombres de los ficheros en el comando