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!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Newsgroups: comp.lang.ada
Subject: Re: New to Ada, why these warning messages?
Date: Sun, 3 Jan 2016 09:59:03 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <n6ard7$psh$1@dont-email.me>
References: <n64nnt$ft6$1@reader1.panix.com>
 <n66n2d$qvb$1@reader1.panix.com> <877fjtyowc.fsf@theworld.com>
 <n66sjg$ee7$1@reader1.panix.com> <n68gpj$h8m$1@dont-email.me>
 <n6ahdr$u7q$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 3 Jan 2016 09:59:03 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="feaa88147af911f4671e67eb18aea1e1";
	logging-data="26513"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19u6RDfeZcjFedhghI3KGffnxub8cuWwew="
User-Agent: slrn/0.9.9p1 (Linux)
Cancel-Lock: sha1:1WBU+5xLpBysyO9sujd/yK3O/p0=
Xref: news.eternal-september.org comp.lang.ada:28991
Date: 2016-01-03T09:59:03+00:00
List-Id: <comp.lang.ada>

On 2016-01-03, J-P. Rosen <rosen@adalog.fr> wrote:
> Le 02/01/2016 13:45, Simon Clubley a écrit :
>> If however you are using the Ada compiler which is freely downloadable
>> from the ACT website, you should be aware that any executables you
>> create using that compiler are covered by the GPL and hence so is any
>> source code used to create those executables.
>> 
> It is true that code compiled with Ada GPL is covered by the GPL, but
> this does NOT extend to the source code. The author of a program ALLWAYS
> keeps full rights (whether GPL or any other license).
>

So are you saying that if:

a) Someone uses the Adacore GPL compiler to create an executable without
realising that the _output_ from that compiler is also covered by the
GPL (because the compiler has included code from the GNAT RTL) and

b) then distributes that executable (for example, by placing it on a website)

then the author isn't required to provide the source code to anyone
using the executable who asks for the source code ?

If so, that's contrary to everything I know about the GPL.

Simon.

-- 
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world