GNAT Modified General Public License
   HOME

TheInfoList



Click Here for Items Related To - GNAT Modified General Public License
OR:
GNAT Modified General Public License on:   [Wikipedia]   [Google]   [Amazon]

The GNAT Modified General Public License (short: Modified GPL, GMGPL) is a version of the
GNU General Public License The GNU General Public Licenses (GNU GPL or simply GPL) are a series of widely used free software licenses, or ''copyleft'' licenses, that guarantee end users the freedom to run, study, share, or modify the software. The GPL was the first ...
specifically modified for compiled units and for the generic feature found in the
Ada programming language Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for '' design by contract'' (DbC), extremely strong typing, expli ...
. 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 GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection (GCC). It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83. Originally its ...
Ada compiler can automate conformance checks for some GPL software license issues via a
compiler directive In computer programming, a directive or pragma (from "pragmatic") is a language construct that specifies how a compiler (or other translator) should process its input. Depending on the programming language, directives may or may not be part of the ...
. Use pragma License (Modified_GPL); to activate the check against the Modified GPL. The GNAT Reference Manual documents the License pragma along with other compiler directives.


See also

* Free software licences *
GNU Free Documentation License The GNU Free Documentation License (GNU FDL or GFDL) is a copyleft license for free documentation, designed by the Free Software Foundation (FSF) for the GNU Project. It is similar to the GNU General Public License, giving readers the rights ...
*
GNU Lesser General Public License The GNU Lesser General Public License (LGPL) is a free-software license published by the Free Software Foundation (FSF). The license allows developers and companies to use and integrate a software component released under the LGPL into their own ...
*
OpenSSL exception OpenSSL is a software library (computing), library for applications that provide secure communications over computer networks against eavesdropping, and identify the party at the other end. It is widely used by Internet server (computing), serv ...
*
GPL linking exception A GPL linking exception modifies the GNU General Public License (GPL) in a way that enables software projects which provide library code to be " linked to" the programs that use them, without applying the full terms of the GPL to the using program. ...


References

GNU Project Free and open-source software licenses Copyleft software licenses Ada (programming language) {{computing-stub