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: How to get Ada to =?utf-8?Q?=E2=80=9Ccross?= the =?utf-8?Q?ch?=
 =?utf-8?Q?asm=E2=80=9D=3F?=
Date: Wed, 18 Apr 2018 10:54:32 +0100
Organization: A noiseless patient Spider
Message-ID: <lya7u0lu07.fsf@pushface.org>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
	<dbcb51b9-8ab9-4d39-bb70-47fdb15ebfd8@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="46be1cdbfeaa0eeff4e3663a0ebc87c2";
	logging-data="11373"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/1a2Bz0+xX6bnfaE6ZHVFTqOQpLpIxUpQ="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:UzXOzfvX9IqCOuB6nc7dF37rvig=
	sha1:XEHKuVYQ0OGVarNEdirjHaIaPuc=
Xref: reader02.eternal-september.org comp.lang.ada:51579
Date: 2018-04-18T10:54:32+01:00
List-Id: <comp.lang.ada>

Mehdi Saada <00120260a@gmail.com> writes:

> I have trouble believing that Adacore (free) forbid completely selling
> softwares in other licenses as GPL or the likes of. I have no
> technical knowledge of these things, but I feel like your points of
> view are a bit... one sided ?

There is no doubt that if you distribute an executable built with the
distributed GNAT GPL you have to do so under the GPL (all *your* sources
distributed too), because the RTS has the full GPL.

This is not necessarily the case for an executable built with FSF GCC
(it depends what other sources are involved besides your own code and
the runtime).

I see no reason why an executable built with GNAT GPL but with a
different RTS (that doesn't have the full GPL) need be distributed under
the GPL. So, in theory, you might be able to use the RTS from FSF GNAT
with GNAT GPL (but I wouldn't hold out much hope, the interface between
the compiler and the RTS is subject to change: the last time FSF GCC and
GNAT GPL were compatible was FSF GCC 6 and GNAT GPL 2016).