Re: GCC 4.9.0 (2014) for Max OS X Mavericks

[Simon Wright <simon@pushface.org>]

David Botton <david@botton.com> writes:

>> It's not GMGPL, it's GCC Runtime Library Exception.
>
> Doesn't that work out in the end to be the same as the GMGPL?

Yes, from a user's point of view, but They Are Not The Same.

> XMLAda is delivered as part of GNAT's runtime now and with that
> exception and therefore should not infect any application using it
> with GPL.

XMLAda isn't delivered as part of GNAT's runtime (unless any Pro user
can tell us different). There are three possible sources, to my
knowledge:

(a) the one available to AdaCore Pro customers
(b) the one available as part of GNAT GPL from Libre
(c) the one available from the anonymous SVN repo

(a) probably, and (c) definitely, have the Runtime Library Exception

(b) does not (it looks as though it has been edited out of the source
    as part of the process of producing the distribution, leaving blank
    lines).

> Can anyone confirm if that is the same license being used in the GNAT
> Pro editions? That would further confirm practically speaking XMLAda
> can be used for closed development.

Unless you use the GPL version.