グナット

グナット

GPS内のAdaソース
開発者	ニューヨーク大学(NYU)、AdaCore、GNU プロジェクト
初回リリース	1995年; 29年前 (1995)
安定リリース	FSF GNAT 14.1 (2024-05-07) [1] GNATプロ24（2024）[2]
オペレーティング·システム	FreeBSD、Linux、 Solaris / SPARC、 Microsoft Windows、 Mac OS X、 およびGCC内のFSF GNATでサポートされているその他のOS
タイプ	コンパイラ
ライセンス	GNU GPL 3+（GCCランタイムライブラリ例外付き）[3]
Webサイト	www.getadanow.com - FSF GNAT www.adacore.com/gnatpro/ GNAT Pro

GNAT は、GNU コンパイラ コレクション(GCC)の一部であるAda プログラミング言語用のフリー ソフトウェア コンパイラです。言語のすべてのバージョン (Ada 2012、Ada 2005、Ada 95、Ada 83) をサポートしています。元々、この名前はG NU N YU A da Tトランスレータの頭字語でしたが、現在はその名前は使用されていません。フロントエンドとランタイムは Ada で記述されています。

GNAT プロジェクトは、1992 年に米国空軍がニューヨーク大学(NYU) に、Ada 9X 標準化プロセスを支援するための Ada 用無料コンパイラを構築する契約を^授与したときに始まりました。300 万ドルの契約では、すべての開発に GNU GPL を使用することが義務付けられ、著作^権はFree Software Foundation に譲渡されました。GNATの最初の公式検証は 1995 年に行われました。

1994年と1996年に、GNATのオリジナル作者^{[要説明] [誰? ]は、GNATの継続的な開発と商用サポートを提供するために、ニューヨークに}Ada Core Technologies 、パリにACT-Europe (後のAdaCore SAS)という2つの姉妹会社を設立しました。2つの会社は常に1つの組織として運営されていましたが、2012年にAdaCoreとして正式に統合されるまでは、AdaCoreとして統合されることはありませんでした。^[4]

GNAT は当初、メインの GCC ソースとは別にリリースされました。2001 年 10 月 2 日、GNAT ソースは GCC CVSリポジトリに提供されました。^[5]別々にリリースされた最後のバージョンは、2002 年 10 月 2 日の GCC 2.8.1 ベースの GNAT 3.15p でした。GCC 3.4 以降、主要プラットフォームでは、公式 GCC リリースはGCC テストスイートに含まれるACATS Ada テストの 100% に合格できます。GCC 4.0 では、より特殊なプラットフォームでも ACATS テストの 100% に合格できます。

コンパイラは、GCCランタイムライブラリ例外を含むGNU GPL 3+の条件に基づいてライセンスされています。^[3]

3.15p までの全てのバージョンは、同様のランタイム例外を提供する GMGPL に基づいてライセンスされています。GMGPL ライセンスは、リンク例外付きの GNU GPL 2 であり、ライセンス契約に違反することなく、GPL と互換性のないライセンスを持つソフトウェアを、GNAT で提供される Ada 標準汎用ライブラリの出力にリンクすることを許可するものです。

FSF GNAT は、ほとんどの主要な Linux または BSD ディストリビューションの一部であり、主要な GCC ソースに含まれています。

GNAT Pro は、 AdaCoreの GNAT のサポートされているバージョンです。

FSF GNATとAdaCoreのGNAT Proに加えて、AdaCoreは追加バージョン（GNAT Proの公開旧バージョンであるGNAT-GPLと、AdaCoreの教育プログラム用バージョンであるGNAT GAP）をリリースしています。^[6]これらのAdaCoreバージョンではランタイム例外が削除されており、ライセンス契約違反を回避するために、標準ライブラリにリンクされたソフトウェアにはGPL互換のライセンスが必要です。

JGNAT は、Ada プログラミング言語からJava バイトコードにコンパイルされた GNAT バージョンでした。GNAT for dotNET は、 Ada プログラミング言語から.NET Framework の共通言語インフラストラクチャと、無料のオープン ソース実装である Mono および Portable.NET にコンパイルされた GNAT バージョンです。

• APSE – Ada でのソフトウェア開発をサポートするプログラミング環境の仕様
• GNATプログラミングスタジオ
• GNU コンパイラ コレクション – さまざまなプログラミング言語用の無料のオープンソース コンパイラ
• Ravenscar プロファイル– 安全性が重要なハードリアルタイムコンピューティング向けに設計された Ada タスク機能のサブセット
• SPARK – Ada の高度に制限されたサブセットで構成されるプログラミング言語で、望ましいコンポーネントの動作と個々のランタイム要件を記述するメタ情報が注釈として付けられています。

• Miranda, Javier; Schonberg, Edmond (2004 年 6 月)。GNAT: GNU Ada コンパイラ。2011 年 7 月 7 日時点のオリジナルよりアーカイブ。2008 年6 月 6 日閲覧。
• Schonberg、Banner、Bernard (1994)。「GNAT プロジェクト」。TRI -Ada '94 カンファレンスの議事録。ACM。pp. 48–57。doi : 10.1145 / 197694.197706。ISBN 0897916662. 2008年6月7日閲覧。

ウィキブックAdaプログラミングには、Adaの検索とインストールに関するページがあります。

• GNAT プロジェクトの歴史
• GCC ウィキの GNAT
• 主要プラットフォーム向け FSF GNAT インストール手順
• GNU Ada プロジェクト — GNAT の FSF バージョンがさらに追加されました
• Debian Ada ポリシー — Debianでの GNAT およびその他の Ada プログラムのパッケージ化
• Ada で書いて、Java 仮想マシンで実行する