Obrigado a todos!
Eu resolvi isso executando
sudo apt-get install gnat
e depois eu instalei todos os pacotes recomendados. Agora o eclipse reconhece o GNAT.
Obrigado de novo!
Instalei recentemente o GNAT-GPL-2014 no Ubuntu 14.04 LTS, mas cometi um erro e instalei-o no diretório errado. Portanto, quero desinstalá-lo e instalá-lo corretamente, mas não sei como fazê-lo.
Obrigado!
Obrigado a todos!
Eu resolvi isso executando
sudo apt-get install gnat
e depois eu instalei todos os pacotes recomendados. Agora o eclipse reconhece o GNAT.
Obrigado de novo!
Eu encontrei isso no arquivo doinstall.sh:
% bl0ck_qu0te%Parece que você pode simplesmente excluir todo o diretório base especificado na instalação e reinstalar em um novo diretório. Não há um método de desinstalação no arquivo doinstall.sh.