Команда для сборки статических исполнимых файлов выглядит так:
gnatmake -static hello.adb -largs -static