From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: DragonEgg has been revived
Date: Thu, 24 May 2018 09:00:49 +0100
Organization: A noiseless patient Spider
Message-ID: <lyvabdfpou.fsf@pushface.org>
References: <pdve68$8hn$2@dont-email.me>
	<5c2523c1-9ea5-453c-b80e-9cb0dcd16de0@googlegroups.com>
	<pe12el$b3o$1@dont-email.me> <lybmd6hlxl.fsf@pushface.org>
	<293cf892-1320-49e6-a25f-a36ea098cd34@googlegroups.com>
	<AgjNC.83302$zX7.1357@fx15.am4>
	<59458046-3144-464e-af80-631b80a65930@googlegroups.com>
	<KMlNC.308893$CH6.219342@fx01.am4>
	<d20b6933-dcdf-48c9-805e-84aa8e5e65f0@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: h2725194.stratoserver.net;
 posting-host="e6aa30a2159458efc32569385033c890";
	logging-data="8898"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/GT+FZW1ObSzRjzwycSoI/L6lcoIB3oek="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:KICltfBHTGqNTkBga5G4I6mKIdc=
	sha1:eIEL84y5u8OMJRJkl02rxwH5ymQ=
Xref: reader02.eternal-september.org comp.lang.ada:52637
Date: 2018-05-24T09:00:49+01:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> writes:

> shark8 wrote:
>> What I would like to see is an Ada compiler that can generate code
>> for a wide range of targets ••without •any• GPL restrictions on the
>> generated code••.
>
> Simon Wright wrote:
>> Pretty sure that's called GCC.
>
> No, Simon, both Chris Moore and I have both shown that the Eligible
> Compilation Process prohibits certain categories of manipulations of
> the generated code, both code-in-the-form-of-true-IR and
> code-in-the-form-of-machine-code-lifted-back-to-IR-by-e.g.-McSema.  We
> are attacking your ignoring the “any” there in shark8's laudable
> expectation/goal.

One last time, when you say "Eligible Compilation Process" you are using
a phrase contained in the GCC Runtime Library Exception, not one
contained in GPLv3.

So all this argument is about code that is originally covered by the
Exception, which includes libgcc and the full version of the Ada RTS
(and libgfortran, ...).

It seems likely that LLVM doesn't use libgcc (on macOS, it uses
libSystem, as does GCC itself, via symlinks).

Which leaves (for us) the Ada RTS.

Oh, and by the way, the Exception does not prohibit using a
GPL-compatible plugin or whatever. The McSema problem (I couldn't see,
at first glance, any discussion of a problem?) would seem to be that it
relies on a proprietary tool (IDA?).