コンパイラディレクティブpragmaLicense(Modified_GPL);により、GNAT組み込みのライセンスチェック機能はModifiedGPLを適用する。
使用编译程式定向（compilerdirective）的控制码：“pragmaLicense(Modified_GPL);”就能够使GNAT编译器以ModifiedGPL的授权方式进行查核确认。