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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:f30f:: with SMTP id t15-v6mr3477810ith.22.1526652378520; Fri, 18 May 2018 07:06:18 -0700 (PDT) X-Received: by 2002:a9d:620d:: with SMTP id g13-v6mr158778otj.3.1526652378262; Fri, 18 May 2018 07:06:18 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!u74-v6no1609402itb.0!news-out.google.com!b185-v6ni1884itb.0!nntp.google.com!u74-v6no1609398itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 18 May 2018 07:06:17 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=160.46.252.14; posting-account=mOyWBQoAAAD7S-NBmMUOr9hRClcL0vqR NNTP-Posting-Host: 160.46.252.14 References: <9169bb0d-626f-4f6d-82c9-8a9b7543a084@googlegroups.com> <92b78739-e2c5-4e45-bbd8-f80ec4918691@googlegroups.com> <6dc39990-16eb-4717-8b8a-1d41c2767530@googlegroups.com> <1103700103.548265160.819002.laguest-archeia.com@nntp.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: disruptors of & inventory of Ada compilers and latest their era of ISO8652 compliance From: R R Injection-Date: Fri, 18 May 2018 14:06:18 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:52432 Date: 2018-05-18T07:06:17-07:00 List-Id: On Thursday, May 17, 2018 at 8:42:55 PM UTC+2, Niklas Holsti wrote: > On 18-05-17 18:56 , Luke A. Guest wrote: > > > > See previous discussions about taking gcc=E2=80=99s ir and the ramifica= tions of > > doing so, it makes the resultant code gplv3. It=E2=80=99s in the gcc fa= q and > > licence. >=20 > Firefox cannot find the word "intermediate" or the (upper-case) acronym= =20 > "IR" in the GPL FAQ at https://www.gnu.org/licenses/gpl-faq.html. The=20 > word "representation" occurs once, in a different context. >=20 > Ditto for the GPLv3 itself, at https://www.gnu.org/licenses/gpl.txt. >=20 > If you extract a source-to-IR "front compiler" from the full gcc, of=20 > course that front-compiler itself remains under GPL. But I do not=20 > believe that IR text generated by that compiler would automatically fall= =20 > under the GPL, no more than machine code generated by the full gcc=20 > automatically falls under the GPL. >=20 > Please provide a link or quotation to support your claim. I remember discussions (from the 90ies ?) that it would be possible to gene= rate source code from the IR. If that generated source code had not any cop= yright (ie GPL), you would have a GPL-strip compiler GPL C/Ada-code to C/Ad= a-code without any copyright.=20 R