LINUX.ORG.RU

Объявлено о выходе GNAT и SPARK GPL 2012

 , ,


0

1

Новое издание компилятора и набора рабочих программ Ada предоставляет множество новых функций и улучшений:

  • полная поддержка стандарта Ada 2012;
  • улучшение поддержки C/C++, улучшение автоматической коррекции ошибок, улучшенное меню для Version Control System, улучшение в работе MDI (Multiple Document Interface);
  • теперь поддерживается GTK-2.24;
  • поддержка выгрузки плагинов;
  • улучшена интеграция Ada/C++;
  • расширена система сообщений об ошибках и предупреждениях.

GNAT GPL и SPARK GPL издания доступны для разработчиков свободного программного обеспечения. Компилятор лицензируется на условиях GNU General Public License. Библиотека рабочих программ лицензируется либо под GNU General Public License («GNAT GPL Edition» от AdaCore), либо GNAT Modified General Public License (GCC, GNAT Pro). GNAT — часть большинства дистрибутивов Linux и BSD.

>>> Подробности

★★★★★

Проверено: Shaman007 ()
Последнее исправление: Shaman007 (всего исправлений: 7)

Неплохо было бы написать в начале поста что такое GNAT и SPARK. Только по тегам догадался что GNAT - компилятор Ады.

encyrtid ★★★★★
()

Никто не знает, где можно версию Pro на посмотреть заполучить? В отличие от стандартной они там поддерживают процессоры Leon. Просил у них демку, но поскольку пока коммерческого проекта нет, ответа не получил.

alt-x ★★★★★
()

А что есть такое SPARK? Полазив по их сайту понял, что это какой-то очередной ЯП, но не понятны цели его создания и назначение.

fat_angel ★★★★★
()
Ответ на: комментарий от Begemoth

Ты дальше оператора присваивания := не смотрел?

в том и дело, что смотрел. Ты мне скажи в чём различия лучше?

FedeX ★★
()
Ответ на: комментарий от FedeX

Синтаксис этой Ады - вылитый Паскаль, зачем было плодить ещё один яп?

Ради семантики // К.О.

tailgunner ★★★★★
()
Ответ на: комментарий от FedeX

Ты мне скажи в чём различия лучше?

Т.е. даже параметрические модули и многозадачность ты не заметил?

Begemoth ★★★★★
()
Ответ на: комментарий от FedeX

Синтаксис этой Ады - вылитый Паскаль, зачем было плодить ещё один яп?

Ну Ада появилась, когда Паскаль был чисто учебной игрушкой, и там даже нормальных unit-ов не было.

Я бы, скорее, Аду сравнил с Модулой-2 или тем более Обероном. Вот тут имеет смысл говорить о конкуренции.

hobbit ★★★★★
()
Ответ на: комментарий от FedeX

зачем было плодить ещё один яп?

Под заказ военных

annulen ★★★★★
()

[кросскомпиляция под] arm уже поддерживается искаробки? или как и раньше нужно накладывать 100500 левых патчей?

arsi ★★★★★
()
Ответ на: комментарий от arsi

или как и раньше нужно накладывать 100500 левых патчей?

теперь чуть побольше.

splinter ★★★★★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.