From: Simon Wright <simon@pushface.org>
Subject: Re: License of that GNAT patch ?
Date: Thu, 06 Oct 2011 08:13:32 +0100
Date: 2011-10-06T08:13:32+01:00 [thread overview]
Message-ID: <m2hb3mzj6r.fsf@pushface.org> (raw)
In-Reply-To: op.v2vvymhxule2fv@index.ici
"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> Seems this patch must be applied in order to have GNAT to support
> Static_Predicate and Dynamic_Predicate. However, the patch contains no
> license information, and I would like to know how I should handle such
> a case and any future similar cases. The GNAT compiler I use is one
> with the GCC Runtime Exception, which I wish to preserve. Is a patch
> like this to be considered part of runtime or not ? It is part of the
> compiler from some point of view, but also supposed to drive
> generation of runtime code, so I feel dubious.
Section 5 of GPLv3[1] seems pretty clear to me! (but IANAL).
The GCC Runtime Library Exception applies to the runtime library, not to
compiler frontend internals, so I expect that the files concerned (which
you could check) don't have the exception anyway and are subject to the
full GPL.
[1] http://www.gnu.org/licenses/gpl-3.0.html
prev parent reply other threads:[~2011-10-06 7:13 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-10-05 15:00 License of that GNAT patch ? Yannick Duchêne (Hibou57)
2011-10-05 15:37 ` Ludovic Brenta
2011-10-05 20:02 ` Georg Bauhaus
2011-10-05 20:11 ` Ludovic Brenta
2011-10-05 23:10 ` Georg Bauhaus
2011-10-05 23:51 ` Yannick Duchêne (Hibou57)
2011-10-06 7:40 ` Ludovic Brenta
2011-10-06 12:24 ` Georg Bauhaus
2011-10-06 13:02 ` Simon Wright
2011-10-06 7:13 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox