Re: Ada on Apple's new procesors

[Optikos <ZUERCHER_Andreas@outlook.com>]

On Thursday, June 25, 2020 at 5:14:33 AM UTC-5, cha...@adacore.com wrote:
> > > That's correct, there is no issue here. The GNAT LLVM compiler is a tool and is licensed under GPLv3, which is just fine and the proper license for a tool. The runtime which is linked with your executable comes from the gcc.gnu.org repository and contains the GCC RunTime exception license.
> > > 
> > 
> > Can you confirm that using FSF GNAT with GNAT-LLVM (GPLv3) does or does
> > not enable the IR clause in the GPLv3?
> 
> It does not and in any case, invoking this clause is a red herring since as explained in the license, the concern and what's not allowed is using an intermediate representation and feed it to a proprietary (non-GPL-compatible)
> software to e.g. optimize it or further process it.
> LLVM is a GPL-compatible Software, so this is irrelevant.
> 
> Arno

Arno, are you aware that garden-variety unadorned LLVM straight from llvm.org seems to be cleary •not• on-topic for OP's Apple-centric question along this entire thread?  Submitting LLVM IR bitcode to the App Store for publication/distribution permits Apple to perform any proprietary closed-source manipulation of that bitcode IR that Apple desires.  Unless LLVM bitcode IR is recategorized in all legal jurisdictions worldwide as mere assembly language (which might be the valid & proper case or might be on thin ice, perhaps varying by legal-system jurisdiction, or worse by each judge), this later closed-source processing of the app by Apple for nonjailbroken ARM-based Macs and iDevices to distribute via the App Store seems to violate terms of at least the RLE if not GPLv3 too.

Clearly, compiling with GNAT-LLVM & linking the runtime to an app's executable via garden-variety unadorned LLVM straight from llvm.org for distribution to jailbroken ARM-based iDevices and Macs would conform to your analysis, but Jerry in OP is likely not referring to that niche subset of Apple-world, so perhaps it is your analysis instead that is the red herring.