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 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 <code>pragma License (Modified_GPL);</code> to activate the check against the Modified GPL. The GNAT Reference Manual documents the License pragma along with other compiler directives.