Re: GtkAda License Question

[gshapovalov@gmail.com]

Ludovic Brenta wrote:
> Now, I think it is reasonable to presume that:
No, it is not, you *should* contact AdaCore and ask, see below.

> - GtkAda GPL edition (both version 2.4.1 and version "gps-3.1.3" are
> included) is pure GPL
> - GtkAda 2.4.0 from libre is GMGPL
No, it is not. When repackaging it for Gentoo I actually raised the
issue with AdaCore (exactly because of that contradiction of headers
having the GM excerpt but claiming pure GPL in some file, *not*
COPYING, which was missing). The answer was that it is pure GPL, as
everything distributed off libre2 site. Although, if you got it from
the original libre site (is it still functional? It seems to redirect
me to libre2 nowadays) you might still have the GMGPL version, although
I doubt there is any actual difference. They don't seem to care much
about packaging stuff cleanly..

Of course you should not take my words for anything and coact them
yourself. You are held legally responsible for any action taken on my
advice ;).
The added benefit of more people contacting them is that this may
finally force them to update the documentation to reflect the present
situation more clearly..

> - GtkAda from CVS is GMGPL (the headers have the exception.)
Again and for the same reason, I would not presume that, or in fact
anything. With them it seems it is obligatory to ask..

> In Debian, all libraries are GMGPL, except ASIS 2006 which will soon
> arrive in Etch under pure GPL. Use Debian. Debian is good for your
> mental health :)
Um, in the view of the above I am not sure you can distribute them as
GMGPL ;).

George