comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: New to Ada, why these warning messages?
Date: Sun, 3 Jan 2016 16:48:06 +0100
Date: 2016-01-03T16:48:06+01:00	[thread overview]
Message-ID: <n6bfmn$ra4$1@dont-email.me> (raw)
In-Reply-To: <n6ard7$psh$1@dont-email.me>

Le 03/01/2016 10:59, Simon Clubley a écrit :
>> 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.
Not at all. I'm saying that the author keeps his rights on the source,
so it's OK if:
a) someone compiles the code with GNAT and distributes it under the GPL
b) compiles it with a different compiler and distributes it under a
propriatory license

The author is bound to the GPL for the first distribution, but not for
the second one.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

  parent reply	other threads:[~2016-01-03 15:48 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
2016-01-03 14:23             ` David Botton
2016-01-03 15:48             ` J-P. Rosen [this message]
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