comp.lang.ada
 help / color / mirror / Atom feed
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: GNAT GPL 2005 Edition is now available
Date: Sat, 17 Sep 2005 16:31:20 +0200
Date: 2005-09-17T16:31:20+02:00	[thread overview]
Message-ID: <87mzmbepfr.fsf@ludovic-brenta.org> (raw)
In-Reply-To: m3irx08kz8.fsf@rr.trudgett

David Trudgett <wpower@zeta.org.au.nospamplease> writes:
> The end user of a compiler is the developer, so what you say is
> false, unless you define freedom as the freedom to license one's own
> software under the GPL.

But we're not talking about the license of the compiler here.  We're
talking about the license of the run-time library, which changed from
GMGPL to pure GPL.

And whether you like it or not, if you write software that links with
libgnat, your software is a "work based on" libgnat.  This is true
even if you don't use any compiler to write that software, i.e. even
if you do

cat > a.out

and a.out uses libgnat, then a.out must be GPL.

Therefore, your comparison with emacs or compilers is besides the
point.  The point is the license for the *library*.

> I have made it quite clear that the mere fact of linking the
> compiler's run-time with a non-GPL program (even a proprietary one),
> in no way impinges upon the freedom of that library, nor does it
> endanger its future continued freedom.

You only have made it clear that you didn't read the GPL.  Also, you
are in no position to decide whose liberty has or has not been
impinged; only the authors of libgnat are in that position.  It is
their right and prerogative to allow or disallow certain ways to
modify, copy or distribute libgnat.  Take it or leave it.  We are
voting on this forum to decide whether Debian sould take it or leave
it.

> But even with a chair, I cannot sell it to someone and demand that
> it only be used by black people, or that it can only be sat on
> between the hours of six and nine in the morning, or that it can
> only be used at home and not in a place of business. It would be
> morally outrageous to even suggest it, even if you had made the
> chair yourself.

Copyright law is quite clear on this.  The copyright holder has the
right to restrict copying, modification and distribution of their
work; not usage.

> This is even more the case with software, which can be shared
> virtually limitlessly without diminishing anyone else's use of it.
> The whole commercial software industry as it exists today is based on
> the use of violence to enforce artificial scarcity on a resource which
> is, by its very nature, virtually limitless. This is immoral, and
> certainly unchristian.

Precisely.  By your own argument, you should therefore be a big
promoter of the pure GPL for all software and libraries.  One od the
things that the pure GPL disallows is linking a GPL library into a
proprietary program, the artificial scarcity of which is organised by
the program's author.  The GPL says: "thou shalt not make non-free
software".

> And on a different point, how does the GPL "impose" requirements if
> not by the violence of law? So, Stallman seems to like the idea of
> "Free Software" but doesn't mind using violent coercion (the
> antithesis of freedom) to get it. I would say that's getting pretty
> close to hypocritical, but I give him the benefit of the
> doubt. After all, I've used the GPL myself, but do not intend to use
> violence to enforce it (but even that policy may have to be
> reviewed).

Welcome to the real world.  All freedoms must be fought for and
defended with some violence, lest the law of the strongest prevail and
all freedom be banished.  Amen :)

> On an only somewhat related note, one thing that I will definitely
> *not* be doing in future is including the "or later versions" (of
> the GPL) in any of my licence files. I have concluded that it is of
> the utmost stupidity to effectively give one man (or even very few
> people) the power to unilaterally make arbitrary changes to the
> licensing terms on a whole world of software. Do people really have
> that much faith in the continued integrity of one person?

The GPL version 3 is being worked on *in public* and *everyone* is
welcome to comment on it.  Of course, as an author, it is your right
and prerogative not to allow GPL version 3.

> A couple of points need to be made about that. Everyone has the right
> to free speech, regardless of whatever local laws may pretend to
> say. You may call such free speech "complaint" if you like, but
> everyone *does* indeed have a right to it. 

Okay, I concede that, but this does not make AdaCore liable to you for
their decisions.  Complain all you want, they don't have to listen.

> Second, no one has *demanded* anything of AdaCore. People have
> requested an explanation, and they think it reasonable to not only
> request it, but to receive it. I have pointed out that it will not
> look good for AdaCore to refuse an explanation in this case. This
> still does not make it a *demand*, it simply points out consequences
> (which may or may not be correctly predicted, but that is another
> matter).

Fair enough.  I suspect that AdaCore do not care about the
consequences to non-customers, but that's just my opinion.

> As for deciding what to do about it: by all means! But this does not
> preclude multi-tasking: we can voice disapproval, ask for
> explanations, *and* do something about it. I think there is even
> special Ada syntax for doing more than one thing at a time, isn't
> there? :-)

yes :) and besides we're doing all three in this thread, and even
going into philosophical arguments :)

-- 
Ludovic Brenta.



  parent reply	other threads:[~2005-09-17 14:31 UTC|newest]

Thread overview: 203+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-09-15  6:50 GNAT GPL 2005 Edition is now available Jamie Ayre
2005-09-15  7:34 ` Jacob Sparre Andersen
2005-09-15  8:44   ` Ludovic Brenta
2005-09-15  9:27     ` Martin Dowie
2005-09-15 10:03       ` Ludovic Brenta
2005-09-15  9:33     ` Brian May
2005-09-15 10:15       ` Ludovic Brenta
2005-09-15 22:58         ` Brian May
2005-09-15  9:39     ` Jacob Sparre Andersen
2005-09-15 10:50     ` Samuel Tardieu
2005-09-15 11:19       ` Stephane Riviere
2005-09-15 11:30     ` GtkAda and GPL/GMGPL, was: Re: GNAT GPL 2005 Edition is Simon Clubley
2005-09-15 11:42       ` Ludovic Brenta
2005-09-15 12:00     ` GNAT GPL 2005 Edition is now available Samuel Tardieu
2005-09-15 12:44       ` Ludovic Brenta
2005-09-15 12:55         ` Samuel Tardieu
2005-09-15 13:37       ` Samuel Tardieu
2005-09-18 15:24       ` Florian Weimer
2005-09-15 13:01     ` Dr. Adrian Wrigley
2005-09-15 15:39       ` Martin Dowie
2005-09-15 16:09         ` Larry Kilgallen
2005-09-15 17:27       ` Dr. Adrian Wrigley
2005-09-15 23:26         ` Jeff Creem
2005-09-16  0:02           ` Dr. Adrian Wrigley
2005-09-16  1:37             ` Jeff Creem
2005-09-16 15:16           ` Jeffrey Carter
2005-09-15 14:27     ` Ludovic Brenta
2005-09-15 15:35       ` Andreas Schwarz
2005-09-15 16:44         ` Georg Bauhaus
2005-09-15 17:05           ` Niklas Holsti
2005-09-15 17:17           ` Adrien Plisson
2005-09-15 18:08             ` Georg Bauhaus
2005-09-15 20:39               ` almost free development tools (Was: GNAT GPL 2005 Edition is now available) Adrien Plisson
2005-09-15 18:18           ` GNAT GPL 2005 Edition is now available Martin Krischik
2005-09-18 16:10           ` Florian Weimer
2005-09-15 18:14         ` Martin Krischik
2005-09-15 22:59           ` Andreas Schwarz
2005-09-15 17:20       ` Simon Clubley
2005-09-15 17:43       ` chris
2005-09-15 18:58       ` Ludovic Brenta
2005-09-15 21:08         ` Georg Bauhaus
2005-09-15 21:24           ` Georg Bauhaus
2005-09-18 16:10             ` Florian Weimer
2005-09-19 12:44               ` Georg Bauhaus
2005-09-19 16:08                 ` Pascal Obry
2005-09-19 16:20                   ` Georg Bauhaus
2005-09-15 21:25           ` Tapio Kelloniemi
2005-09-15 21:28             ` Tapio Kelloniemi
2005-09-16  8:28               ` Ludovic Brenta
2005-09-16 10:41                 ` Tapio Kelloniemi
2005-09-18 16:01           ` Florian Weimer
2005-09-15 23:21         ` GNAT GPL 2005 Edition is now available - A Vote and some other comments Jeff Creem
2005-09-18 15:48         ` GNAT GPL 2005 Edition is now available Florian Weimer
2005-09-18 18:10           ` Jacob Sparre Andersen
2005-09-15 20:32       ` Tapio Kelloniemi
2005-09-16 12:36       ` xavier
2005-09-16 21:57       ` Björn Persson
2005-09-17 10:05         ` [OT] Reasons for using Debian (Was: GNAT GPL 2005 Edition is now available) Jacob Sparre Andersen
2005-09-17 17:41           ` Björn Persson
2005-09-18 16:17           ` [OT] Reasons for using Debian Florian Weimer
2005-09-18 15:42       ` GNAT GPL 2005 Edition is now available Florian Weimer
2005-09-18 16:15         ` Ludovic Brenta
2005-09-18 16:39           ` Florian Weimer
2005-09-18 17:05             ` Ludovic Brenta
2005-09-20  9:50               ` Florian Weimer
2005-09-20 10:28                 ` Ludovic Brenta
2005-09-18 17:32             ` Martin Krischik
2005-09-18 18:25           ` Jacob Sparre Andersen
2005-09-18 21:19             ` Ludovic Brenta
2005-09-19 13:06               ` Jacob Sparre Andersen
2005-09-15 16:01     ` Niklas Holsti
2005-09-15 16:27     ` Jeffrey Carter
2005-09-15 16:59       ` Georg Bauhaus
2005-09-15 18:42       ` Ludovic Brenta
2005-09-16  9:17     ` David Trudgett
2005-09-16 14:15     ` Ludovic Brenta
2005-09-18 13:13     ` Ludovic Brenta
2005-09-18 17:24       ` Florian Weimer
2005-09-19 14:12       ` Marc A. Criley
2005-09-20  5:09         ` Ludovic Brenta
2005-09-18 18:59     ` Niklas Holsti
2005-09-18 21:27       ` Ludovic Brenta
2005-09-19  7:23         ` Brian May
2005-09-19  7:49         ` Samuel Tardieu
2005-09-15  8:10 ` David Trudgett
2005-09-15  8:50   ` Ludovic Brenta
2005-09-15  8:56     ` wojtek
2005-09-15 18:08       ` Martin Krischik
2005-09-15 20:09         ` Samuel Tardieu
2005-09-15 22:33           ` Björn Persson
2005-09-15 23:13             ` Samuel Tardieu
2005-09-18 15:30           ` Florian Weimer
2005-09-19  7:56             ` Samuel Tardieu
2005-09-19 12:46               ` Ole-Hjalmar Kristensen
2005-09-19 20:08                 ` Björn Persson
2005-09-19 21:23             ` Björn Persson
2005-09-19 23:05         ` wojtek
2005-09-19 23:55           ` Larry Kilgallen
2005-09-21  7:17             ` Preben Randhol
2005-09-21 12:26               ` Larry Kilgallen
2005-09-21 13:22                 ` Preben Randhol
2005-09-20 13:50           ` Steve
2005-09-20 18:01             ` Ludovic Brenta
2005-09-20 19:10               ` Larry Kilgallen
2005-09-20 19:17                 ` Ludovic Brenta
2005-09-21  2:22               ` Steve
2005-09-21  4:48               ` Steve Whalen
2005-09-21 23:30           ` chris
2005-09-27  9:28             ` Ole-Hjalmar Kristensen
2005-09-15 18:06     ` Martin Krischik
2005-09-15 19:34       ` Martin Dowie
2005-09-15 20:14       ` Samuel Tardieu
2005-09-21  7:27         ` Preben Randhol
2005-09-21  7:57           ` Samuel Tardieu
2005-09-21  7:58           ` Brian May
2005-09-15 11:55   ` Jeff Creem
2005-09-16  8:36     ` David Trudgett
2005-09-16 10:14       ` Larry Kilgallen
2005-09-16 10:56         ` Ludovic Brenta
2005-09-16 12:20           ` Samuel Tardieu
2005-09-16 12:59             ` Ludovic Brenta
2005-09-16 13:58               ` Niklas Holsti
2005-09-16 15:37               ` Georg Bauhaus
2005-09-17 14:09                 ` Ludovic Brenta
2005-09-16 16:45               ` Tapio Kelloniemi
2005-09-16 18:12                 ` Marc A. Criley
2005-09-17  6:58                   ` Martin Dowie
2005-09-17 10:20                     ` Jacob Sparre Andersen
2005-09-17 12:47                       ` Georg Bauhaus
2005-09-17 13:37                         ` Jacob Sparre Andersen
2005-09-17 14:17                       ` Martin Krischik
2005-09-17 17:42                         ` Jacob Sparre Andersen
2005-09-17 17:48                           ` Ludovic Brenta
2005-09-17 18:41                             ` Ludovic Brenta
2005-09-17 19:06                             ` Björn Persson
2005-09-17 20:39                               ` Ludovic Brenta
2005-09-17 22:59                                 ` Björn Persson
2005-09-17 23:32                                   ` tmoran
2005-09-18  0:25                                     ` Brian May
2005-09-18 15:35                           ` Florian Weimer
2005-09-17 13:08                     ` Marc A. Criley
2005-09-17 14:44                       ` Martin Dowie
2005-09-17 16:19                       ` Martin Dowie
2005-09-19 19:22                       ` Marc A. Criley
2005-09-21  7:57                     ` Preben Randhol
2005-09-21  8:25                       ` Niklas Holsti
2005-09-21  8:39                       ` Martin Dowie
2005-09-21  8:59                         ` Niklas Holsti
2005-09-21 11:02                           ` Martin Dowie
2005-09-21 13:20                             ` Alex R. Mosteo
2005-09-21 17:29                             ` Jeffrey Carter
2005-09-21 20:26                               ` Martin Dowie
2005-10-07  0:56                             ` Randy Brukardt
2005-09-21 13:47                       ` Marc A. Criley
2005-09-19  1:20                   ` chrismiller677
2005-09-19 11:24                     ` Brian May
2005-09-19 13:19                       ` Martin Dowie
2005-09-19 13:35                         ` Martin Dowie
2005-09-19 13:38                       ` Dirk Craeynest
2005-09-19 14:49                         ` Georg Bauhaus
2005-09-19 19:17                         ` Björn Persson
2005-09-19 11:39                     ` Georg Bauhaus
2005-09-21  7:56                   ` Preben Randhol
2005-09-21  8:03                     ` Samuel Tardieu
2005-09-21 10:57                       ` Preben Randhol
2005-09-21 10:58                         ` Preben Randhol
2005-09-21 12:11                         ` Jacob Sparre Andersen
2005-09-21 12:32                           ` Hyman Rosen
2005-09-21 13:03                             ` Samuel Tardieu
2005-09-21 13:16                           ` Preben Randhol
2005-09-21 13:49                             ` Jacob Sparre Andersen
2005-09-21 20:30                           ` Tapio Kelloniemi
2005-09-21 17:27                         ` Jeffrey Carter
2005-09-21 19:11                           ` Pascal Obry
2005-09-16 20:31               ` Björn Persson
2005-09-17  2:51               ` David Trudgett
2005-09-17  5:56                 ` Simon Wright
2005-09-17 14:31                 ` Ludovic Brenta [this message]
2005-09-17 15:55                   ` Martin Krischik
2005-09-16 13:26             ` Stephane Riviere
2005-09-16 15:44             ` Jeffrey Carter
2005-09-19  6:47               ` Steve Whalen
2005-09-19 23:49           ` wojtek
2005-09-20  0:06             ` wojtek
2005-09-19 12:57         ` Ole-Hjalmar Kristensen
2005-09-16 10:56       ` Jeff Creem
2005-09-16 14:19         ` Marc A. Criley
2005-09-16 20:27         ` Björn Persson
2005-09-20  1:22         ` David Trudgett
2005-09-20  8:36           ` Georg Bauhaus
2005-09-20 12:02           ` Hyman Rosen
2005-09-15  8:49 ` wojtek
2005-09-15 13:18   ` Thomas Quinot
2005-09-15 10:30 ` Brian May
2005-09-15 10:54   ` Friess Michael
2005-09-15 22:17     ` Brian May
2005-09-15 22:31       ` Britt Snodgrass
2005-09-15 15:11 ` Larry Kilgallen
2005-09-15 15:20   ` Ludovic Brenta
2005-09-15 16:08     ` Larry Kilgallen
2005-09-15 17:53     ` Simon Clubley
2005-09-15 22:10 ` Björn Persson
2005-09-15 23:19   ` Samuel Tardieu
replies disabled

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