Difference between revisions of "Gnat"

From Free Software Directory
Jump to: navigation, search
m (added gnu package identifier. edited homepage)
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
{{Entry
 
{{Entry
 
|Name=GNAT
 
|Name=GNAT
|Short description=A complete Ada95 compilation system
+
|Short description=Ada95 compilation system.
|Full description=GNAT is an Ada (including Ada 2005) toolset, integrated into the GCC compiler system. Ada is a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. GNAT includes GPS, a visual IDE, a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings. As of October 2, 2001 the GNAT sources have been added to the main GCC CVS repository where they are now synchronized almost daily with the internal Ada Core Technologies sources. The 3.15p release referred to below is the last separate release. Please go to [http://gcc.gnu.org/ http://gcc.gnu.org/] for the most recent release.
+
|Full description=GNAT is an Ada (including Ada 2005) toolset, integrated into the GCC compiler system. Ada is a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. GNAT includes GPS, a visual IDE, a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings. As of October 2, 2001 the GNAT sources have been added to the main GCC repository where they are now synchronized almost daily with the internal Ada Core Technologies sources. See the [[GCC]] page for a full implementation of gcc.
|Homepage URL=http://gnu.org/software/gnat
+
|Homepage URL=https://www.gnu.org/software/gnat/
|User level=intermediate
+
|Is High Priority Project=No
|Component programs=GLIDE
 
 
|Computer languages=Ada
 
|Computer languages=Ada
|Related projects=Ada_Components,AdacURL,AdaDoc,Ada_Motif_binding_library,AdaSockets,AdaUnits,GNADE,GtkAda,ImgSvr,Intervals
+
|Documentation note='''Selection from the [https://shop.fsf.org/ FSF shop]'''
 +
 
 +
[https://shop.fsf.org/books/free-freedom-20-richard-stallman Free as in Freedom 2.0, by Richard Stallman]
 +
 
 +
[https://shop.fsf.org/books-docs/introduction-command-line Introduction to the Command Line]
 +
 
 +
----
 +
----
 +
'''[https://www.gnu.org/help/help.html Helping the GNU Project and the Free Software Movement]'''
 +
----
 +
----
 +
 
 +
If you have corrections to this entry or questions about it, please contact: mailto:maintainers@gnu.org
 +
----
 +
|Decommissioned or Obsolete=No
 +
|Donate=https://my.fsf.org/donate/
 +
|Related projects=gnustandards,GCC,Ada_Components,AdacURL,AdaDoc,Ada_Motif_binding_library,AdaSockets,AdaUnits,GNADE,GtkAda,ImgSvr,Intervals
 
|Keywords=compiler,Ada,Ada95
 
|Keywords=compiler,Ada,Ada95
|Version identifier=see latest gcc
+
|Version identifier=4.6.4
|Version date=2005-03-06
+
|Version date=2013/04/12
 
|Version status=stable
 
|Version status=stable
|Version download=http://ftp.gnu.org/gnu/gcc/gcc-4.3.3/gcc-4.3.3.tar.bz2
+
|Version download=https://ftp.gnu.org/gnu/gcc/gcc-4.6.4/gcc-ada-4.6.4.tar.bz2
|Last review by=Janet Casey
+
|Last review by=Bendikker
|Last review date=2010-09-07
+
|Last review date=2019/01/19
 
|Submitted by=Database conversion
 
|Submitted by=Database conversion
 
|Submitted date=2011-04-01
 
|Submitted date=2011-04-01
 +
|User level=intermediate
 +
|Component programs=GLIDE
 +
|Paid support=https://www.fsf.org/resources/service/
 +
|Accepts cryptocurrency donations=Yes
 +
|OpenPGP signature=https://ftp.gnu.org/gnu/gcc/gcc-4.6.4/gcc-ada-4.6.4.tar.bz2.sig
 +
|Test entry=No
 
|Is GNU=Yes
 
|Is GNU=Yes
 
|GNU package identifier=gnat
 
|GNU package identifier=gnat
 +
|Decommissioned/Obsolete=No
 
|License verified date=2001-01-31
 
|License verified date=2001-01-31
 
}}
 
}}
 
{{Project license
 
{{Project license
|License=GPLv2
+
|License=GPLv3orlater
|License verified by=Kelly Hopkins
+
|License verified by=Andrew Engelbrecht
|License verified date=2001-01-31
+
|License verified date=2012/10/26
 
}}
 
}}
 
{{Person
 
{{Person
Line 31: Line 53:
 
|Email=charlet@adacore.com
 
|Email=charlet@adacore.com
 
}}
 
}}
{{Person
+
{{Resource
|Real name=Robert Dewar
+
|Resource audience=Debian (Ref) (R)
|Role=Maintainer
+
|Resource URL=https://tracker.debian.org/pkg/gnat-mingw-w64
 +
}}
 +
{{Resource
 +
|Resource audience=Debian (Ref) (R)
 +
|Resource URL=https://tracker.debian.org/pkg/gnat-4.9
 +
}}
 +
{{Resource
 +
|Resource audience=Debian (Ref)
 +
|Resource URL=https://tracker.debian.org/pkg/gnat
 
}}
 
}}
 
{{Resource
 
{{Resource
|Resource audience=Bug Tracking
+
|Resource kind=Mailing List
|Resource kind=E-mail
+
|Resource URL=https://lists.gnu.org/mailman/listinfo/help-gnat/
|Resource URL=mailto:bug-gcc@gnu.org
 
 
}}
 
}}
 
{{Resource
 
{{Resource
|Resource audience=Bug Tracking
+
|Resource kind=Mailing List
|Resource kind=Bug Tracking
+
|Resource URL=https://lists.gnu.org/mailman/listinfo/gnu-system-discuss/
|Resource URL=http://gcc.gnu.org/bugzilla
 
 
}}
 
}}
 
{{Software category
 
{{Software category
 
|Interface=command-line
 
|Interface=command-line
 +
|Runs-on=GNU/Linux
 
|Software-development=compiler
 
|Software-development=compiler
 
|Use=software-development
 
|Use=software-development
}}
 
{{Software prerequisite
 
|Prerequisite kind=Required to use
 
|Prerequisite description=GCC 3.4.6
 
 
}}
 
}}
 
{{Featured}}
 
{{Featured}}

Latest revision as of 15:11, 19 January 2019

[edit]

GNAT

https://www.gnu.org/software/gnat/
Ada95 compilation system.

GNAT is an Ada (including Ada 2005) toolset, integrated into the GCC compiler system. Ada is a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. GNAT includes GPS, a visual IDE, a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings. As of October 2, 2001 the GNAT sources have been added to the main GCC repository where they are now synchronized almost daily with the internal Ada Core Technologies sources. See the GCC page for a full implementation of gcc.

Documentation

Selection from the FSF shop

Free as in Freedom 2.0, by Richard Stallman

Introduction to the Command Line



Helping the GNU Project and the Free Software Movement



If you have corrections to this entry or questions about it, please contact: mailto:maintainers@gnu.org


Related Projects





Licensing

License

Verified by

Verified on

Notes

Verified by

Andrew Engelbrecht

Verified on

26 October 2012




Leaders and contributors

Contact(s)Role
Arnaud Charlet Maintainer


Resources and communication

AudienceResource typeURI
Mailing Listhttps://lists.gnu.org/mailman/listinfo/gnu-system-discuss/
Debian (Ref)https://tracker.debian.org/pkg/gnat
Mailing Listhttps://lists.gnu.org/mailman/listinfo/help-gnat/
Debian (Ref) (R)https://tracker.debian.org/pkg/gnat-mingw-w64
Debian (Ref) (R)https://tracker.debian.org/pkg/gnat-4.9


Software prerequisites

This entry (in part or in whole) was last reviewed on 19 January 2019.



Entry



















"Debian (Ref) (R)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Debian (Ref) (R)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Debian (Ref)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.











Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.