From: Optikos <ZUERCHER_Andreas@outlook.com>
Subject: Re: Ada on Apple's new procesors
Date: Tue, 23 Jun 2020 13:25:33 -0700 (PDT) [thread overview]
Message-ID: <9d941aca-2eb6-4f35-a346-c290c4666bdfo@googlegroups.com> (raw)
In-Reply-To: <rctfip$1eel$1@gioia.aioe.org>
On Tuesday, June 23, 2020 at 12:53:33 PM UTC-5, Luke A. Guest wrote:
> On 23/06/2020 17:16, Optikos wrote:
>
> >> GNAT-LLVM with possibly a custom system-aarch.ads and other runtime parts..
> >
> > Without paying a hefty proprietary-licensing fee to AdaCore, isn't GNAT-LLVM distributed only under pure GPLv3 without the Runtime Library Exception (RLE)? Wouldn't that mean that GNAT-LLVM on MacOS (and iOS) can be utilized by software distributed under GPL-compatible licenses, lest that software violate terms of GPLv3?
> >
>
> Yes that is a problem, but not here.
>
> 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 :)
>
> 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-llvm, 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 evaporates because that 1 or more source file lacks the RLE; hence FSF GNAT-LLVM would become pure GPLv3.
next prev parent reply other threads:[~2020-06-23 20:25 UTC|newest]
Thread overview: 71+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-22 22:53 Ada on Apple's new procesors Jerry
2020-06-23 10:42 ` Vadim Godunko
2020-06-23 10:43 ` Luke A. Guest
2020-06-23 16:16 ` Optikos
2020-06-23 17:52 ` Luke A. Guest
2020-06-23 20:25 ` Optikos [this message]
2020-06-23 23:07 ` Luke A. Guest
2020-06-24 1:02 ` Optikos
2020-06-24 10:48 ` Luke A. Guest
2020-06-24 15:12 ` Optikos
2020-06-24 15:38 ` Luke A. Guest
2020-06-24 16:35 ` Simon Wright
2020-06-24 17:58 ` Luke A. Guest
2020-06-24 18:18 ` Stephen Leake
2020-06-24 18:30 ` Luke A. Guest
2020-06-24 18:37 ` Wesley Pan
2020-06-24 18:55 ` Optikos
2020-06-24 19:58 ` Luke A. Guest
2020-06-24 19:06 ` Optikos
2020-06-24 19:26 ` Simon Wright
2020-06-24 20:03 ` Luke A. Guest
2020-06-25 10:25 ` Simon Wright
2020-06-25 10:49 ` Luke A. Guest
2020-06-25 11:08 ` Simon Wright
2020-06-24 20:02 ` Luke A. Guest
2020-06-25 7:21 ` charlet
2020-06-25 9:55 ` Luke A. Guest
2020-06-25 10:14 ` charlet
2020-06-25 11:03 ` Simon Wright
2020-06-25 11:25 ` Luke A. Guest
2020-06-25 12:50 ` Luke A. Guest
2020-06-29 10:33 ` Luke A. Guest
2020-06-25 16:15 ` Optikos
2020-06-30 11:16 ` Fabien Chouteau
2020-06-30 12:28 ` Optikos
2020-06-30 13:28 ` Luke A. Guest
2020-06-30 13:26 ` Luke A. Guest
2020-06-30 14:35 ` charlet
2020-06-30 14:46 ` Luke A. Guest
2020-06-30 14:59 ` charlet
2020-06-30 15:15 ` Luke A. Guest
2020-06-30 19:12 ` Optikos
2020-06-30 20:15 ` Simon Wright
2020-06-30 20:20 ` Dennis Lee Bieber
2020-06-30 20:20 ` Luke A. Guest
2020-06-30 22:07 ` Wesley Pan
2020-06-30 23:25 ` Luke A. Guest
2020-07-01 4:46 ` Optikos
2020-07-01 9:23 ` Fabien Chouteau
2020-07-01 11:03 ` Simon Wright
2020-07-01 12:55 ` Optikos
2020-07-03 0:51 ` Wesley Pan
2020-07-03 11:08 ` gautier_niouzes
2020-06-30 20:01 ` Simon Wright
2020-06-30 20:23 ` Luke A. Guest
2020-06-30 21:57 ` Simon Wright
2020-06-30 23:27 ` Luke A. Guest
2020-07-01 11:47 ` Simon Wright
2020-07-02 9:54 ` Simon Wright
2020-07-02 19:56 ` Optikos
2020-07-03 17:18 ` antispam
2020-07-03 18:31 ` Optikos
2020-06-24 19:18 ` Simon Wright
2020-06-24 20:06 ` Luke A. Guest
2020-06-24 20:09 ` Luke A. Guest
2020-06-25 0:33 ` Optikos
2021-02-09 4:51 ` Jerry
2021-02-09 7:07 ` Luke A. Guest
2021-02-09 12:24 ` Simon Wright
2021-02-09 18:21 ` Brian Drummond
2021-02-12 19:14 ` Andreas ZEURCHER
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox