Компилятор

Для работы достаточно скачать набор компиляторов GCC. Он включает в себя Аду. Для Windows можно скачать с сайта http://tdm-gcc.tdragon.net/ Есть 32- и 64-разрядные версии. Какую выбрать - по желанию. При установке нужно будет поставить галочку напротив Ады (по умолчанию компилятор Ады не устанавливается). Для Linux компилятор Ады есть в репозитории (все-таки GCC - стандартный компилятор для Linux).

Для linux Mint (да и для любого другого дистрибутива, родственного Linux Debian) команда установки такая: sudo apt-get install gnat

Также можно скачать бесплатный компилятор GNAT (вместе с IDE): http://libre.adacore.com/download/. Здесь необходимо учесть, что если имя пользователя Windows, под которым Вы работаете в системе, создано на русском языке, то с запуском GNAT (вернее среды разработки GTS, которая установится вместе с GNAT), могут возникнуть проблемы. Но в любом случае сам компилятор будет прекрасно работать.

Есть и другие компиляторы, но они платные. По крайней мере, из известных мне.