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=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada on Apple's new procesors
Date: Tue, 30 Jun 2020 14:26:37 +0100
Organization: Aioe.org NNTP Server
Message-ID: <rdfek4$17vt$1@gioia.aioe.org>
References: <4d9fa282-830d-42f7-a3bf-ba127cb2ad06o@googlegroups.com>
 <rcsmel$sdb$1@gioia.aioe.org>
 <8332f305-299f-45d7-9f9d-2cad924b24d8o@googlegroups.com>
 <rctfip$1eel$1@gioia.aioe.org>
 <9d941aca-2eb6-4f35-a346-c290c4666bdfo@googlegroups.com>
 <rcu20d$199n$1@gioia.aioe.org>
 <f7150588-5593-4688-bb83-e8ec0fd71550o@googlegroups.com>
 <rd1sce$1c2t$1@gioia.aioe.org>
 <76def2a5-667c-4009-b3b9-f0cf1c13a51bo@googlegroups.com>
 <3b5b2360-684c-4149-8662-98b53319cf94o@googlegroups.com>
 <b35ac73b-6790-4e6b-ba1c-7dfb25af34fdo@googlegroups.com>
NNTP-Posting-Host: jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.9.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: reader01.eternal-september.org comp.lang.ada:59261
List-Id: <comp.lang.ada>

On 30/06/2020 12:16, Fabien Chouteau wrote:
> On Thursday, June 25, 2020 at 6:15:47 PM UTC+2, Optikos wrote:
>> 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.
> 
> The Apple app store is incompatible with the GPL since long ago: https://www.fsf.org/blogs/licensing/more-about-the-app-store-gpl-enforcement
> 
> I don't see anything new here.
> 

That is for uploading of GPL'd software to the app store, that is not
what we are talking about here. This is a completely different matter.

What we are talking about is whether the GNAT-LLVM backend violates the
GPL IR clause, enacting it in the final binary.

We need clarification on whether the translation from GCC's IR to LLVM's
IR invokes this clause. I'm not sure if GNAT final IR before the
GNAT-LLVM backend is GENERIC or GIMPLE.

I've had a quick look in GNAT-LLVM and I cannot see any flags enabling
the output of GCC's IR, only LLVM's IR.