comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Subject: Re: New to Ada, why these warning messages?
Date: Sun, 3 Jan 2016 09:59:03 -0000 (UTC)
Date: 2016-01-03T09:59:03+00:00	[thread overview]
Message-ID: <n6ard7$psh$1@dont-email.me> (raw)
In-Reply-To: n6ahdr$u7q$1@dont-email.me

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


  parent reply	other threads:[~2016-01-03  9:59 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-01-01  2:19 New to Ada, why these warning messages? Dale Dellutri
2016-01-01  2:47 ` David Botton
2016-01-01  5:54 ` Jeffrey R. Carter
2016-01-01 21:18   ` Bob Duff
2016-01-01 17:30 ` Dennis Lee Bieber
2016-01-01 20:20 ` Dale Dellutri
2016-01-01 21:24   ` Bob Duff
2016-01-01 21:54     ` Dale Dellutri
2016-01-02 12:45       ` Simon Clubley
2016-01-02 14:21         ` Britt
2016-01-02 15:29           ` Simon Clubley
2016-01-03  7:11         ` J-P. Rosen
2016-01-03  9:32           ` Simon Wright
2016-01-03  9:59           ` Simon Clubley [this message]
2016-01-03 14:23             ` David Botton
2016-01-03 15:48             ` J-P. Rosen
2016-01-03 18:03               ` David Botton
2016-01-03 18:20                 ` Pascal Obry
2016-01-03 19:05                   ` David Botton
2016-01-01 23:50   ` Jeffrey R. Carter
2016-01-02 21:05     ` Bob Duff
2016-01-02 22:53       ` Jeffrey R. Carter
2016-01-02 17:59   ` Dennis Lee Bieber
2016-01-02 18:37     ` Paul Rubin
2016-01-02 21:03       ` Bob Duff
2016-01-02 21:08     ` Bob Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox