|The GMGPL is an exception clause to the full GPL that allows for GNAVI frameworks and the GNAT (GNAVI compiler) standard libraries to be included even in proprietary non open source applications, i.e. that the license on the frameworks and libraries does not cause the executable or other source code that is not a modification of the library or framework to fall under the GPL.
The following header is added to frameworks and standard libraries in addition to notice of the GPL license and the copyright that allow for this special exception:
-- 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. --