From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on ip-172-31-74-118.ec2.internal 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:a37:995:: with SMTP id 143mr9966591qkj.266.1592943933812; Tue, 23 Jun 2020 13:25:33 -0700 (PDT) X-Received: by 2002:a9d:71d6:: with SMTP id z22mr20031331otj.81.1592943933576; Tue, 23 Jun 2020 13:25:33 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 23 Jun 2020 13:25:33 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=47.185.233.35; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.35 References: <4d9fa282-830d-42f7-a3bf-ba127cb2ad06o@googlegroups.com> <8332f305-299f-45d7-9f9d-2cad924b24d8o@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9d941aca-2eb6-4f35-a346-c290c4666bdfo@googlegroups.com> Subject: Re: Ada on Apple's new procesors From: Optikos Injection-Date: Tue, 23 Jun 2020 20:25:33 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:59190 List-Id: On Tuesday, June 23, 2020 at 12:53:33 PM UTC-5, Luke A. Guest wrote: > On 23/06/2020 17:16, Optikos wrote: >=20 > >> GNAT-LLVM with possibly a custom system-aarch.ads and other runtime pa= rts.. > >=20 > > Without paying a hefty proprietary-licensing fee to AdaCore, isn't GNAT= -LLVM distributed only under pure GPLv3 without the Runtime Library Excepti= on (RLE)? Wouldn't that mean that GNAT-LLVM on MacOS (and iOS) can be util= ized by software distributed under GPL-compatible licenses, lest that softw= are violate terms of GPLv3? > >=20 >=20 > Yes that is a problem, but not here. >=20 > When you build llvm-gnat, you download the FSF GNAT which comes with the > runtime exception so you can link away all you like without having to > pay for anything :) >=20 > Luke. Wait, do the FSF GNAT repositories themselves now contain the mods for LLVM= instead of obtaining GNAT-LLVM mods from https://github.com/AdaCore/gnat-l= lvm, which is pure-GPLv3 licensed. https://github.com/AdaCore/gnat-llvm/blob/master/COPYING3 If mixing FSF GNAT with any 1 or more non-data/non-script (i.e., compiled; = linked) source file(s) in https://github.com/AdaCore/gnat-llvm, then RLE ev= aporates because that 1 or more source file lacks the RLE; hence FSF GNAT-L= LVM would become pure GPLv3.