The GNAT Modified General Public License (short: Modified GPL, GMGPL) is a version of the GNU General Public License

GNU General Public License

The GNU General Public License is the most widely used free software license, originally written by Richard Stallman for the GNU Project....

 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

GNAT

GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2005, Ada 95 and Ada 83; it allows already some constructs of Ada 2012...

 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 documents the License pragma along with other compiler directives.

See also

• Free software licences
• GNU Free Documentation License
  GNU Free Documentation License
  The GNU Free Documentation License is a copyleft license for free documentation, designed by the Free Software Foundation for the GNU Project. It is similar to the GNU General Public License, giving readers the rights to copy, redistribute, and modify a work and requires all copies and...
  
  
• GNU Lesser General Public License
  GNU Lesser General Public License
  The GNU Lesser General Public License or LGPL is a free software license published by the Free Software Foundation . It was designed as a compromise between the strong-copyleft GNU General Public License or GPL and permissive licenses such as the BSD licenses and the MIT License...
  
  
• OpenSSL exception
• GPL linking exception
  GPL linking exception
  A GPL linking exception modifies the GNU General Public License to create a new, modified license. Such modified licenses enable 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...