I'm neither paid not misinformed. There is no runtime exception for the Adacore Community version, it is under GPL including the runtime, hence every executable produced with it is also under GPLv3.

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.

FSF GNAT hasn't been MGPL for years, not even sure which version, but I think it's before 4.9.4. FSF GNAT is GPLv3 with linking exception.

Correction, GMGPL.

GMPL and mGPL are acronyms for the same exception, the former is just the informal term. It's the GNU Modified General License. People have been calling the license of the FSF version "mGPL" for more than a decade at least.

You are right and it is a useful thing to know.

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.

My pet theory is that tech people tend to see this as a constraint-solving problem.

"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.