Я, конечно, должен использовать GNAT.
Не верно;Есть другие компиляторы Ada.(Единственный известный мне GNAT - бесплатный).
Запуск GNAT под Cygwin дает вам исполняемые файлы Cygwin, которые являются исполняемыми файлами Windows и зависят от cygwin1.dll
.Они будут не работать в Linux.Смотрите "Что ... не так ли?"раздел Домашняя страница Cygwin .
Существует GNAT для Windows.Версия GNAT Pro имеет список поддерживаемых платформ здесь ;он включает в себя Linux и Windows, но не показывает кросс-компилятор Windows-Linux.
Поскольку GNAT является свободным программным обеспечением (GNAT Pro не немного сложнее;Я не буду вдаваться в подробности) вполне может быть кросс-компилятор Windows-to-Linux GNAT - или, если вы действительно амбициозны, вы можете создать его самостоятельно (или нанять кого-нибудь, чтобы сделатьэто для вас).
Но установка GNAT в системе Linux - самый простой подход.В не должно быть , чтобы быть виртуальной машиной.Если у вас есть оборудование, вы можете установить некоторую систему Linux самостоятельно или установить систему с двойной загрузкой на вашем компьютере с Windows.Ubuntu имеет установщик Windows Wubi , который устанавливает образ Ubuntu в виде файла Windows;он не позволяет вам одновременно запускать Windows и Ubuntu, но он позволяет вам выполнять двойную загрузку без перераспределения.
Существуют и другие варианты;это только те, с кем я знаком.