GNAT

GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection (GCC). It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83. Originally its name was an acronym that stood for GNU NYU Ada Translator, but that name no longer applies. The front-end and run-time are written in Ada.

For other uses, see Gnat (disambiguation).
GNAT
Ada source within GPS
Developer(s)New York University (NYU), AdaCore and the GNU Project
Initial release1995 (1995)
Stable release
FSF GNAT 9.2 (2019-08-12)[1]

GNAT Pro 7.4 (2016-02-23)[2]

Operating systemFreeBSD, GNU/Linux,
Solaris/SPARC,
Microsoft Windows,
Mac OS X,
plus others as supported by FSF GNAT within GCC
TypeCompiler
LicenseGNU GPL 3+ with GCC Runtime Library Exception[3]
Websitewww.getadanow.com - FSF GNAT
www.adacore.com/gnatpro/ GNAT Pro

History

The GNAT project started in 1992 when the United States Air Force awarded New York University (NYU) a contract to build a free compiler for Ada to help with the Ada 9X standardization process. The 3-million-dollar contract required the use of the GNU GPL for all development, and assigned the copyright to the Free Software Foundation. The first official validation of GNAT occurred in 1995.

In 1994 and 1996, the original authors of GNAT founded two sister companies, Ada Core Technologies in New York City and ACT-Europe (later AdaCore SAS) in Paris, to provide continuing development and commercial support of GNAT. The two companies always operated as one entity, but did not formally unify until 2012 as AdaCore.[4]

GNAT was initially released separately from the main GCC sources. On October 2, 2001 the GNAT sources were contributed to the GCC CVS repository.[5] The last version to be released separately was GNAT 3.15p, based on GCC 2.8.1, on October 2, 2002. Starting with GCC 3.4, on major platforms the official GCC release is able to pass 100% of the ACATS Ada tests included in the GCC testsuite. By GCC 4.0, more exotic platforms were also able to pass 100% of the ACATS tests.

License

The compiler is licensed under the terms of the GNU GPL 3+ with GCC Runtime Library Exception.[3]

All versions leading up to and including 3.15p are licensed under the GMGPL offering similar runtime exceptions. The GMGPL license is GNU GPL 2 with a linking exception that permits software that with licenses that are incompatible with the GPL to be linked with the output of Ada standard generic libraries that are supplied with GNAT without breaching the license agreement.

Versions

FSF GNAT is part of most major GNU/Linux or BSD distributions and is included in the main GCC Sources.

GNAT Pro is a supported version of GNAT from AdaCore.

In addition to FSF GNAT and AdaCore's GNAT Pro, AdaCore releases additional versions (GNAT-GPL, a public older version of GNAT Pro, and GNAT GAP, a version for AdaCore's educational programs).[6] These AdaCore versions have the runtime exceptions removed, this requires software that is linked with the standard libraries to have GPL-compatible licenses to avoid being in breach of the license agreement.

JGNAT was a GNAT version that compiled from the Ada programming language to Java bytecode. GNAT for dotNET is a GNAT version that compiles from the Ada programming language to Common Language Infrastructure for the .NET Framework and the free and open source implementations Mono and Portable.NET.

gollark: How is it optimizing it? That seems like a ridiculously special special case.
gollark: Right now, actually.
gollark: I've used it several times for helpful reasons.
gollark: No, last week.
gollark: A few days back I think?

See also

References
  1. https://www.gnu.org/software/gcc/releases.html
  2. "AdaCore Releases GNAT Pro 7.4".
  3. "GCC Runtime Library Exception". Retrieved 2013-02-28.
  4. GNAT Pro Insider Autumn/Winter 2014–2015, p.1
  5. GCC CVS mailing list archive "New language: Ada"
  6. AdaCore Libre Site. "Technology Comparison Chart". Retrieved 9 April 2015.

Further reading
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.