comp.lang.ada
 help / color / mirror / Atom feed
From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Ada on Apple's new procesors
Date: Tue, 30 Jun 2020 14:28:06 +0100	[thread overview]
Message-ID: <rdfemt$17vt$2@gioia.aioe.org> (raw)
In-Reply-To: 4dabaf9e-8bd5-4c5f-a665-7e2ec48342aao@googlegroups.com

On 30/06/2020 13:28, Optikos wrote:

>> I don't see anything new here.
> 
> What is new here is that there appear to be well-reasoned ways (e.g., the Wide legal theory along this thread) that GNAT-LLVM could •force• a developer's app to GPLed against the developer's will by easy-to-enact-in-GNAT-LLVM violations of the RLE's terms that cause the Compilation Process to not achieve the stricter Eligible Compilation Process definition, due to Apple's closed-source manipulations of LLVM IR bitcode.
> 
> Perhaps the work-around is that GNAT-LLVM-based developers of apps should •never• submit LLVM IR bitcode to Apple's App Store's app-intake procedure.  In the past as far back as 2015, submitting bitcode instead of machine code was optional.  It is unclear with the new ARM-based Macs, whether that optionality will continue in the future, or whether that optionality has already been curtailed.

I already linked in a previous message proof that you do have to upload
the output from LLVM as bitcode to the appstore so Apple can optimise
based on intended target device.

  reply	other threads:[~2020-06-30 13:28 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
2020-06-30 11:16                   ` Fabien Chouteau
2020-06-30 12:28                     ` Optikos
2020-06-30 13:28                       ` Luke A. Guest [this message]
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