From: Optikos <ZUERCHER_Andreas@outlook.com>
Subject: Re: Ada on Apple's new procesors
Date: Thu, 25 Jun 2020 09:15:45 -0700 (PDT) [thread overview]
Message-ID: <3b5b2360-684c-4149-8662-98b53319cf94o@googlegroups.com> (raw)
In-Reply-To: <76def2a5-667c-4009-b3b9-f0cf1c13a51bo@googlegroups.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.
next prev parent reply other threads:[~2020-06-25 16:15 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
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 [this message]
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