ГНАТ

ГНАТ
	Ada Источник в GPS
Разработчик(и)	Нью-Йоркский университет (NYU), AdaCore и проект GNU
Первоначальный выпуск	1995 год ; 29 лет назад
Стабильная версия	ФСФ ГНАТ 14.1 (07.05.2024) ГНАТ Про 7.4 (23 февраля 2016 г.)
Операционная система	ФриБСД , Линукс , ; Солярис / СПАРК , ; Microsoft Windows , ; Мак ОС Х , ; плюс другие, поддерживаемые FSF GNAT в рамках GCC
Тип	Компилятор
Лицензия	GNU GPL 3+ с исключением библиотеки времени выполнения GCC
Веб-сайт	www .getadanow .com — ФСФ ГНАТ ; www .adacore .с /gnatpro / ГНАТ Про

GNAT — это бесплатного программного обеспечения компилятор для языка программирования Ada , который является частью коллекции компиляторов GNU (GCC). Он поддерживает все версии языка, то есть Ada 2012, Ada 2005, Ada 95 и Ada 83. Первоначально его название было аббревиатурой обозначающей G NU N YU A da Translator , , но это имя больше не применяется. Интерфейс и среда выполнения написаны на языке Ada.

История

Проект GNAT начался в 1992 году, когда ВВС США заключили с Нью-Йоркским университетом (NYU) контракт на создание бесплатного компилятора для Ada, который поможет в процессе стандартизации Ada 9X. Требуемый контракт на 3 миллиона долларов ^{[ нужна ссылка ]} использование GNU GPL для всех разработок и передал авторские права Фонду свободного программного обеспечения . Первая официальная валидация GNAT произошла в 1995 году.

В 1994 и 1996 годах первоначальные авторы GNAT ^{[ нужны разъяснения ]}^{[ ВОЗ? ]} основал две дочерние компании, Ada Core Technologies в Нью-Йорке и ACT-Europe (позже AdaCore SAS) в Париже, чтобы обеспечить постоянное развитие и коммерческую поддержку GNAT. Две компании всегда действовали как единое целое, но официально не объединялись до 2012 года под названием AdaCore. ^[4]

GNAT изначально был выпущен отдельно от основных источников GCC. 2 октября 2001 г. исходники GNAT были добавлены в репозиторий GCC CVS . ^[5] Последней версией, выпущенной отдельно, была GNAT 3.15p, основанная на GCC 2.8.1, 2 октября 2002 года. Начиная с GCC 3.4, на основных платформах официальная версия GCC способна пройти 100% тестов ACATS Ada, включенных в набор тестов GCC. К GCC 4.0 более экзотические платформы также смогли пройти 100% тестов ACATS.

Лицензия

Компилятор лицензируется на условиях GNU GPL 3+ с исключением библиотеки времени выполнения GCC. ^[3]

Все версии до 3.15p включительно лицензируются в соответствии с GMGPL, предлагающим аналогичные исключения во время выполнения. Лицензией GMGPL является GNU GPL 2 с исключением связывания, которое позволяет связывать программное обеспечение с лицензиями, несовместимыми с GPL, с выходными данными стандартных универсальных библиотек Ada, поставляемых с GNAT, без нарушения лицензионного соглашения.

Версии

FSF GNAT является частью большинства основных дистрибутивов Linux или BSD и включен в основные исходные коды GCC.

GNAT Pro — поддерживаемая версия GNAT от AdaCore .

В дополнение к FSF GNAT и GNAT Pro от AdaCore, AdaCore выпускает дополнительные версии (GNAT-GPL, общедоступная старая версия GNAT Pro, и GNAT GAP, версия для образовательных программ AdaCore). ^[6] В этих версиях AdaCore удалены исключения времени выполнения; для этого требуется, чтобы программное обеспечение, связанное со стандартными библиотеками, имело лицензии, совместимые с GPL, чтобы избежать нарушения лицензионного соглашения.

JGNAT представлял собой версию GNAT, скомпилированную из языка программирования Ada в байт-код Java . GNAT для dotNET — это версия GNAT, которая компилируется из языка программирования Ada в Common Language Infrastructure для .NET Framework, а также в бесплатные реализации с открытым исходным кодом Mono и Portable.NET.

См. также

APSE — спецификация среды программирования для поддержки разработки программного обеспечения на языке Ada.
Студия программирования GNAT
Коллекция компиляторов GNU — бесплатный компилятор с открытым исходным кодом для различных языков программирования.
Профиль Ravenscar - подмножество функций управления задачами Ada, предназначенное для критически важных для безопасности вычислений в режиме реального времени.
SPARK - язык программирования, состоящий из строго ограниченного подмножества Ada, снабженного метаинформацией, описывающей желаемое поведение компонента и индивидуальные требования к среде выполнения.

Ссылки

^ «Релизы GCC — проект GNU» .
^ «AdaCore выпускает GNAT Pro 7.4» . АдаКор .
^ Jump up to: ^а ^б «Исключение библиотеки времени выполнения GCC» . Проверено 28 февраля 2013 г.
^ GNAT Pro Insider, осень/зима 2014–2015, стр. 1
^ Архив списка рассылки GCC CVS «Новый язык: Ада»
^ «Сравнение GNAT Pro» . АдаКор . Проверено 17 августа 2021 г.

Дальнейшее чтение

Миранда, Хавьер; Шенберг, Эдмонд (июнь 2004 г.). GNAT: компилятор GNU Ada . Архивировано из оригинала 7 июля 2011 г. Проверено 6 июня 2008 г.
Шёнберг; Баннер, Бернард (1994). «Проект ГНАТ» . Материалы конференции по ТРИ-Аде '94 . АКМ. стр. 48–57. дои : 10.1145/197694.197706 . ISBN 0897916662 . Проверено 7 июня 2008 г.

Внешние ссылки

История проекта GNAT
GNAT в вики GCC
Инструкции по установке FSF GNAT для основных платформ
Проект GNU Ada — больше версий GNAT для FSF
Политика Debian Ada — упаковка GNAT и других программ Ada в Debian.
Напишите это на Ada — запустите на виртуальной машине Java

[1] «Релизы GCC — проект GNU» .

[2] «AdaCore выпускает GNAT Pro 7.4» . АдаКор .

[GCC_Runtime_Library_Exception-3] Jump up to: ^а ^б «Исключение библиотеки времени выполнения GCC» . Проверено 28 февраля 2013 г.

[GNAT-Pro-Insider-2014-2015-4] GNAT Pro Insider, осень/зима 2014–2015, стр. 1

[5] Архив списка рассылки GCC CVS «Новый язык: Ада»

[6] «Сравнение GNAT Pro» . АдаКор . Проверено 17 августа 2021 г.

[1]

[2]

[3]

[4]

[5]

[6]