ブヨ

ブヨ
開発者ニューヨーク大学（NYU）、AdaCore、GNUプロジェクト
初回リリース1995 （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など、Adaのすべてのバージョンをサポートしています。元々はGNU N U YU A da Translatorの頭字語でしたが、現在はその名称は使用されていません。フロントエンドとランタイムは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として正式に統合されました。[ 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 の高度に制限されたサブセットで構成されるプログラミング言語で、望ましいコンポーネントの動作と個々のランタイム要件を記述するメタ情報が注釈として付けられています。

参考文献

  1. ^ 「GCC リリース - GNU プロジェクト」。
  2. ^「GNATリリースノート」。AdaCore 。
  3. ^ a b「GCCランタイムライブラリ例外」 。 2013年2月28日閲覧。
  4. ^ GNAT Pro Insider 2014–2015 秋冬号、p.1
  5. ^ GCC CVS メーリングリスト アーカイブ「新しい言語: Ada」
  6. ^ 「GNAT Proの比較」 . AdaCore . 2021年8月17日閲覧。

さらに読む

ウィキブックAdaプログラミングには、Adaの検索とインストールに関するページがあります。
「 https://en.wikipedia.org/w/index.php?title=GNAT&oldid=1333045395#History」より取得