Como instalar o IDE GNAT Studio no Linux via AppImage

Se você quer programar em Ada e SPARK (além de C e C++), conheça e veja como instalar o IDE GNAT Studio no Linux via AppImage.

GNAT Studio é um IDE leve e extensível, destinado a desenvolver software de alta integridade em Ada e SPARK, com suporte também para C e C++.

Ada é uma Linguagem de programação estruturada, de tipagem estática, é uma linguagem imperativa, orientada a objetos e é uma linguagem de alto nível, originada de Pascal, Simula e outras linguagens. Já Spark é uma evolução do Hadoop e do paradigma de programação Map-Reduce.

Como instalar o IDE GNAT Studio no Linux via arquivo AppImage

Para instalar o IDE GNAT Studio no Linux via arquivo AppImage, você deve fazer o seguinte:

Passo 1. Abra um terminal;
Passo 2. Confira se o seu sistema é de 32 bits ou 64 bits, para isso, use o seguinte comando no terminal:

uname -m

Passo 3. Se seu sistema é de 64 bits, use o comando abaixo para baixar o programa. Se o link estiver desatualizado, acesse essa página, baixe a última versão e salve-o com o nome gnatstudio.appimage:

wget https://github.com/AdaCore/gnatstudio/releases/download/gnatstudio-cr-20240506/GNAT_Studio-x86_64.AppImage -O gnatstudio.appimage

Passo 4. Dê permissão de execução para o arquivo baixado;

chmod a+x gnatstudio.appimage

Passo 5. Agora instale o programa com o comando;

sudo ./gnatstudio.appimage --install

Passo 6. Quando você inicia o arquivo pela primeira vez, será perguntado se deseja integrar o programa com o sistema. Clique em “Yes” (Sim) se quiser integrá-lo ou clique em “No” (Não), se não quiser. Se você escolher Sim, o iniciador do programa será adicionado ao menu de aplicativos e ícones de instalação. Se você escolher “No”, sempre terá que iniciá-lo clicando duas vezes no arquivo AppImage.

Pronto! Agora, após instalar o IDE GNAT Studio no Linux via AppImage, você pode iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite gnatstudio ou em um terminal, seguido da tecla TAB.

Integrando os aplicativos AppImage no sistema

Se você quiser integrar melhor esse programa no seu sistema, instale o AppImageLauncher, usando esse tutorial:
Como instalar o integrador AppImageLauncher no Linux