From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,1060de63f71a1a06 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,CP1252 Received: by 10.68.50.133 with SMTP id c5mr12611288pbo.2.1317829050564; Wed, 05 Oct 2011 08:37:30 -0700 (PDT) Path: lh7ni12215pbb.0!nntp.google.com!news1.google.com!postnews.google.com!z19g2000vby.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: License of that GNAT patch ? Date: Wed, 5 Oct 2011 08:37:28 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: NNTP-Posting-Host: 153.98.68.197 Mime-Version: 1.0 X-Trace: posting.google.com 1317829049 8602 127.0.0.1 (5 Oct 2011 15:37:29 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 5 Oct 2011 15:37:29 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: z19g2000vby.googlegroups.com; posting-host=153.98.68.197; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-Via: ICAP/1.0 192.168.152.2 X-Google-Web-Client: true X-Google-Header-Order: HUALESRCVNK X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20101206 Red Hat/3.6-2.el5 Firefox/3.6.13,gzip(gfe) Xref: news1.google.com comp.lang.ada:18312 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Date: 2011-10-05T08:37:28-07:00 List-Id: Yannick Duch=EAne wrote on comp.lang.ada: > Hi all, > > For some test, I wanted to use a Static_Predicate for a subtype (Ada =A0 > 2012), but GNAT complained =93file.adb:n:n: aspect identifier expected=94= . So =A0 > I searched the web for GNAT and Static_Predicate, and found this: > > http://old.nabble.com/-Ada--Implement-new-aspects-Dynamic_Predicate-a... Surely you meant to say: http://gcc.gnu.org/ml/gcc-patches/2011-08/msg00026.html Why use an imperfect copy when the original is available? > Seems this patch must be applied in order to have GNAT to support =A0 > Static_Predicate and Dynamic_Predicate. However, the patch contains no = =A0 > license information, and I would like to know how I should handle such a = =A0 > case and any future similar cases. The GNAT compiler I use is one with th= e =A0 > GCC Runtime Exception, which I wish to preserve. Is a patch like this to = =A0 > be considered part of runtime or not ? It is part of the compiler from = =A0 > some point of view, but also supposed to drive generation of runtime code= , =A0 > so I feel dubious. - This patch belongs to the FSF. - All the files affected by this patch belong to the FSF. - The patch does not change the license of the files. Therefore, the license that applies is the license of each file affected by the patch. sinfo.ad[bs]: GPLv3 with Runtime Library Exception. aspects.ad[bs]: GPLv3 with Runtime Library Exception. sem_ch13.adb: GPLv3. snames.ads-tmpl: GPLv3 with Runtime Library Exception. > I don't know Arnaud Charlet. Member of AdaCore staff ? Yes. One of his roles at AdaCore is to submit the patches written by other members of the company (in this case Robert Dewar himself) to the FSF, with copyright assignment. > After that, may also have to seek for any other relevant patches, as it = =A0 > seems there are some. Your best bet is to grab a copy of the Git repository containing the sources of GCC along with their entire history. git will allow you to browse the changelog, bisect, annotate etc. to find the patches of interest. You can even create your own private branch if you like. -- Ludovic Brenta. The Chief Management Office Officer innovates challenges.