GNAT: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 17:55, 12 May 2016

GNAT or else GNAT Ada is an Ada front-end to the GNU Compiler Collection. GNAT is a validated Ada compiler. It implements all three consequent Ada standards: Ada 83, Ada 95, Ada 2005, and Ada 2012. The front-end itself is written in Ada. GNAT is available for:

Linux
OpenVMS
VxWorks
Windows
Mac
Bare boards

Experimental support is also available for:

.NET
JVM

GNAT was originally created in the New York University, as a project funded by the government. Presently the principal maintainer of GNAT is AdaCore.

GNAT is freely distributed under GPL, or with exceptions. There is a version downloadable from AdaCore and another one included as part of GNU/Linux distributions. The License Pragma in source code can be used to help detect packages which use GPL instead of a more permissive license.

For commercial closed-source use, AdaCore also offers GNAT Pro and GNAT High Integrity products. These are basically the GNAT supplied with AdaCore support, and licensed with a special exemption. The exemption prevents proliferation of GPL into the proprietary code compiled by GNAT and linked with its run-time libraries.

@@ Line 1: / Line 1: @@
 {{implementation|Ada}}
 {{collection|GNU Compiler Collection}}
+[[Category:Compilers and Interpreters]]
-'''GNAT''' or else '''GNAT Ada''' is an Ada front-end to the [[GNU Compiler Collection]]. GNAT is a validated Ada compiler. It implements all three consequent Ada standards: [[Ada 83]], [[Ada 95]] and [[Ada 2005]]. The front-end itself is written in Ada. GNAT is available for:
+'''GNAT''' or else '''GNAT Ada''' is an Ada front-end to the [[GNU Compiler Collection]]. GNAT is a validated Ada compiler. It implements all three consequent Ada standards: [[Ada 83]], [[Ada 95]], [[Ada 2005]], and [[Ada 2012]]. The front-end itself is written in Ada. GNAT is available for:
 * [[Linux]]
-* [[Windows]]
+* [[OpenVMS]]
 * [[VxWorks]]
+* [[Windows]]
+* [[Mac]]
 * Bare boards
 Experimental support is also available for:
-* .NET
+* [[.NET]]
-* JVM
+* [[JVM]]
-The principal maintainer of GNAT is [http://www.adacore.com AdaCore].
+GNAT was originally created in the [http://www.nyu.edu New York University], as a project funded by the government. Presently the principal maintainer of GNAT is [http://www.adacore.com AdaCore].
+GNAT is freely distributed under GPL, or with exceptions. There is a version downloadable from AdaCore and another one included as part of GNU/Linux distributions. The License Pragma in source code can be used to help detect packages which use GPL instead of a more permissive license.
-GNAT is freely distributed under GPL.
-However, for commercial closed-source use, AdaCore also offers GNAT Pro and GNAT High Integrity products. These are basically the GNAT supplied with AdaCore support, and licensed with a special exemption. The exemption prevents proliferation of GPL into the proprietary code compiled by GNAT and linked with its run-time libraries.
+For commercial closed-source use, AdaCore also offers GNAT Pro and GNAT High Integrity products. These are basically the GNAT supplied with AdaCore support, and licensed with a special exemption. The exemption prevents proliferation of GPL into the proprietary code compiled by GNAT and linked with its run-time libraries.