Компиляторы Ada для Linux

Я занимаюсь изучением торговли для разработки Ada в Linux. У вас есть хорошие рекомендации для компилятора/ОС?

Пока у меня есть GNAT от AdaCore, работающего на CentOS 5.4, и у меня есть запросы на лицензии для Rational Apex и Aonix ObjectAda.

Это усилия по переносу. Исходная кодовая база - Apex 3.0 на OSF1 4.0d.

Что-нибудь еще я должен рассмотреть? В идеале это будет поддерживаемая среда.

Ответы

Ответ 1

Одной из проблем, которые необходимо учитывать, является определение того, в какой степени ваша система, которая портирована, использует поставляемые поставщиком пакеты для выполнения своей функции. То, что я видел с более старыми, большими системами, особенно с Apex, - это склонность гуру-языку в течение его времени разработки, чтобы решить, что ваниль Ada просто недостаточно хороша и так привязана ко всем этим пакетам, поставляемым поставщиками. Если это то, что ваша система делает прямо сейчас, это сильный аргумент для обновления внутри вендора и использования Apex (все остальные вещи в основном равны).

Всякий раз, когда я делал порты таких систем, если бы у меня была возможность, я сделал все возможное, чтобы вытащить все материалы, поставляемые поставщиками, - девять раз из десяти, заменяя специфические для вендора вещи с использованием ванильных реализаций Ada так же хорошо, и вам больше не придется иметь дело с причудами пакета, специфичного для компилятора. Кроме того, вы повышаете мобильность и ремонтопригодность системы, позволяя ей лучше адаптироваться к будущим изменениям.

Ответ 2

Всегда есть SPARK, но я считаю его специализированной/поднаборной версией языка Ada. Вы можете связаться с SigAda или группой Ada usenet, чтобы узнать, есть ли другие идеи.

Честно говоря, GNAT - отличный набор инструментов. Вы можете использовать GNATBench, интерфейс Eclipse или GPS, легковесную GTK + IDE, чтобы взаимодействовать с инструментами GNAT.

Ответ 3

Другие компиляторы, о которых я знаю, Green Hills AdaMULTI (для разных RTOS) и DDC-I SCORE (также для различных RTOS)