KNOTT
Utvecklare | New York University (NYU), AdaCore och GNU-projektet |
---|---|
Initial release | 1995 |
Stabil frisättning | FSF GNAT 9.2 (2019-08-12) GNAT Pro 7.4 (2016-02-23) |
Operativ system |
FreeBSD , Linux , Solaris / SPARC , Microsoft Windows , Mac OS X , plus andra som stöds av FSF GNAT inom GCC |
Typ | Kompilator |
Licens | GNU GPL 3+ med undantag för GCC Runtime Library |
Hemsida |
|
GNAT är en friprogramkompilator för programmeringsspråket Ada som är en del av GNU Compiler Collection ( GCC ). Den stöder alla versioner av språket, dvs Ada 2012, Ada 2005, Ada 95 och Ada 83. Ursprungligen var dess namn en akronym som stod för G NU N YU A da T ranslator , men det namnet gäller inte längre. Front-end och körtid skrivs i Ada.
Historia
GNAT-projektet startade 1992 när United States Air Force tilldelade New York University (NYU) ett kontrakt för att bygga en gratis kompilator för Ada för att hjälpa till med Ada 9X-standardiseringsprocessen. Kontraktet på 3 miljoner dollar krävde [ citat behövs ] användningen av GNU GPL för all utveckling, och tilldelade upphovsrätten till Free Software Foundation . Den första officiella valideringen av GNAT inträffade 1995.
1994 och 1996, de ursprungliga författarna till GNAT [ förtydligande behövs] [ vem ? ] grundade två systerföretag, Ada Core Technologies i New York City och ACT-Europe (senare AdaCore SAS) i Paris, för att ge fortsatt utveckling och kommersiellt stöd till GNAT. De två företagen fungerade alltid som en enhet, men gick inte formellt samman förrän 2012 som AdaCore.
GNAT släpptes initialt separat från de viktigaste GCC-källorna. Den 2 oktober 2001 bidrogs GNAT-källorna till GCC CVS -förvaret. Den senaste versionen som släpptes separat var GNAT 3.15p, baserad på GCC 2.8.1, den 2 oktober 2002. Från och med GCC 3.4 kan den officiella GCC-versionen på större plattformar klara 100 % av ACATS Ada-testerna som ingår i GCC testsuite. Genom GCC 4.0 kunde mer exotiska plattformar också klara 100 % av ACATS-testerna.
Licens
Kompilatorn är licensierad under villkoren i GNU GPL 3+ med GCC Runtime Library Exception.
Alla versioner som leder fram till och inklusive 3.15p är licensierade under GMGPL som erbjuder liknande körtidsundantag. GMGPL-licensen är GNU GPL 2 med ett länkundantag som tillåter programvara med licenser som är inkompatibla med GPL att länkas till utdata från Ada-standardbibliotek som levereras med GNAT utan att bryta mot licensavtalet.
versioner
FSF GNAT är en del av de flesta större Linux- eller BSD-distributioner och ingår i de viktigaste GCC-källorna.
GNAT Pro är en version av GNAT som stöds från AdaCore .
Förutom FSF GNAT och AdaCores GNAT Pro släpper AdaCore ytterligare versioner (GNAT-GPL, en offentlig äldre version av GNAT Pro, och GNAT GAP, en version för AdaCores utbildningsprogram). Dessa AdaCore-versioner har körtidsundantagen borttagna, detta kräver att programvara som är länkad till standardbiblioteken har GPL-kompatibla licenser för att undvika att bryta mot licensavtalet.
JGNAT var en GNAT-version som kompilerades från programmeringsspråket Ada till Java bytecode . GNAT för dotNET är en GNAT-version som kompilerar från programmeringsspråket Ada till Common Language Infrastructure för .NET Framework och de fria och öppen källkodsimplementeringarna Mono och Portable.NET.
Se även
- AdaGIDE
- GCC
- GCJ
- GFortran
- PolyORB
- GNAT programmeringsstudio
- SPARK (programmeringsspråk)
Vidare läsning
- Javier Miranda, Edmond Schonberg (juni 2004). GNAT: GNU Ada-kompilatorn . Hämtad 2008-06-06 .
- Edmond Schonberg, Bernard Banner (1994). "GNAT-projektet" . Handlingar från konferensen om TRI-Ada '94 . ACM. s. 48–57. doi : 10.1145/197694.197706 . ISBN 0897916662 . Hämtad 2008-06-07 .
externa länkar
- GNAT-projektets historia
- GNAT i GCC-wikin
- FSF GNAT installationsinstruktioner för större plattformar
- GNU Ada-projektet — fler FSF-versioner av GNAT
- Debians Ada-policy — paketering av GNAT och andra Ada-program i Debian
- Skriv det i Ada - Kör det på Java Virtual Machine