Re: Ada on Apple's new procesors

[Optikos <ZUERCHER_Andreas@outlook.com>]

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.