Я нашел это в файле doinstall.sh:
Чтобы установить GNAT, вам нужно указать базовый каталог. Все файлы будут установлены в подкаталогах, созданных в этом каталоге.Похоже, вы можете просто удалить весь базовый каталог, указанный вами при установке и переустановке, в новый каталог. В файле doinstall.sh нет способа удаления.