GNAT Modified General Public License: Difference between revisions
Appearance
Content deleted Content added
m Robot - Moving category Free software licenses to Category:Free and open-source software licenses per CFD at Wikipedia:Categories for discussion/Log/2012 May 27. |
No edit summary |
||
(11 intermediate revisions by 11 users not shown) | |||
Line 2: | Line 2: | ||
[[Image:Heckert GNU white.svg|thumb|200px|right|The [[GNU]] logo]] |
[[Image:Heckert GNU white.svg|thumb|200px|right|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 [[wikibooks:Ada Programming/Generics|generic feature]] found in the [[Ada programming language]]. |
The '''GNAT Modified General Public License''' (short: '''Modified GPL''', '''GMGPL''') is a version of the [[GNU General Public License]] specifically modified for compiled units and for the [[wikibooks:Ada Programming/Generics|generic feature]] found in the [[Ada programming language]]. |
||
The modification is as follows: |
The modification is as follows: |
||
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]]. |
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 = https://gcc.gnu.org/onlinedocs/gnat_rm/ | title = GNAT Reference Manual | accessdate = 2010-07-21 }}</ref> documents the License<ref>{{ cite web | url = https://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-License.html | title = Pragma License | accessdate = 2010-07-21 }}</ref> pragma along with other compiler directives. |
||
==See also== |
==See also== |
||
{{Portal|Free software}} |
{{Portal|Free and open-source software}} |
||
* [[Free software licences]] |
* [[Free software licences]] |
||
* [[GNU Free Documentation License]] |
* [[GNU Free Documentation License]] |
||
Line 18: | Line 18: | ||
* [[GPL linking exception]] |
* [[GPL linking exception]] |
||
==References |
==References== |
||
{{Reflist}} |
{{Reflist}} |
||
Line 26: | Line 26: | ||
[[Category:GNU Project]] |
[[Category:GNU Project]] |
||
[[Category:Free and open-source software licenses]] |
[[Category:Free and open-source software licenses]] |
||
[[Category: |
[[Category:Copyleft software licenses]] |
||
[[Category: |
[[Category:Ada (programming language)]] |
||
{{law-stub}} |
|||
[[de:GNAT Modified General Public License]] |
|||
{{Foss-stub}} |
|||
[[es:GNAT Modified General Public License]] |
|||
{{computing-stub}} |
|||
[[eu:GNAT Modified General Public License]] |
|||
[[ja:GNAT Modified General Public License]] |
|||
[[zh:GMGPL]] |
Latest revision as of 13:01, 24 September 2024
This article needs additional citations for verification. (December 2009) |
The GNAT Modified General Public License (short: Modified GPL, GMGPL) is a version of the GNU General Public License specifically modified for compiled units and 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
[edit]- Free software licences
- GNU Free Documentation License
- GNU Lesser General Public License
- OpenSSL exception
- GPL linking exception
References
[edit]- ^ "GNAT Reference Manual". Retrieved 2010-07-21.
- ^ "Pragma License". Retrieved 2010-07-21.