If you want mGPL (with the runtime exception) you need to wait for the FSF version.
This is well-known in the Ada community, but I thought I'd mention it because occasionally people don't know the license conditions of various GNAT versions very well. Such as you.
There is a commercial license to help encourage the big well funded customers to pay for the tools they need to compile millions of lines of company confidential ADA.
And a license for only open source software; just in case students or hobbyists want to write their own robust open source rocket guidance system and share it on github.
"If the resulting software were GPL, all those nasty contradictions would go away. Let's assign GPL to the software and the problem is solved."
Unfortunately, the law doesn't work that way.