GNAT Modified General Public License


The GNAT Modified General Public License is a version of the GNU General Public License specifically modified for compiled units and for the found in the Ada programming language.
The modification is as follows:
The GNAT Ada compiler can automate conformance checks for some GPL software license issues via a compiler directive. Use pragma License ; to activate the check against the Modified GPL. The GNAT Reference Manual documents the License pragma along with other compiler directives.