Jump to content

GNAT Modified General Public License: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m correct spelling
clarify operation of compiler directive; add references
Line 8: Line 8:
:As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License.
:As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License.


The [[GNAT]] Ada compiler can automate conformance checks for some GPL software license issues via a [[compiler directive]]. (Use <code>'''pragma License (Modified_GPL);'''</code> to activate the check against the Modified GPL. The GNAT Reference Manual <ref>{{ cite web | url = http://gcc.gnu.org/onlinedocs/gnat_rm/ | title = "GNAT Reference Manual" | accessdate = 2010-07-21 }}</ref> documents the License <ref>{{ cite web | url = http://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-License.html | title = "Pragma License" | accessdate = 2010-07-21 }}</ref> pragma along with other compiler directives.
The [[compiler directive]] <code>pragma License (Modified_GPL);</code> activates [[GNAT]]'s built-in license check in respect to the Modified GPL.


==See also==
==See also==
Line 17: Line 17:
* [[OpenSSL exception]]
* [[OpenSSL exception]]
* [[GPL linking exception]]
* [[GPL linking exception]]

==References and notes==
{{Reflist}}


{{GNU}}
{{GNU}}

Revision as of 06:34, 21 July 2010

The GNU logo

The GNAT Modified General Public License (short: Modified GPL, GMGPL) is a version of the GNU General Public License specifically modified for the generic feature found in the Ada programming language.

The modification is as follows:

As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License.

The GNAT Ada compiler can automate conformance checks for some GPL software license issues via a compiler directive. (Use pragma License (Modified_GPL); to activate the check against the Modified GPL. The GNAT Reference Manual [1] documents the License [2] pragma along with other compiler directives.

See also

References and notes

  1. ^ ""GNAT Reference Manual"". Retrieved 2010-07-21.
  2. ^ ""Pragma License"". Retrieved 2010-07-21.
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=GNAT_Modified_General_Public_License&oldid=374628355"