comp.lang.ada
 help / color / mirror / Atom feed
From: Corey Minyard <minyard@acm.org>
Subject: Re: gnat-3.10
Date: 1997/06/23
Date: 1997-06-23T00:00:00+00:00	[thread overview]
Message-ID: <m2n2oiknxv.fsf@acm.org> (raw)
In-Reply-To: m2oh8ydzt8.fsf@devo.ridgenet.net


Ronald Cole <ronald@ridgenet.net> writes:
> 
> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> > We have a number of large customers on HPUX. They were using 3.09 when it
> > was the current release, most of them have by now switched to 3.10 which is
> > the current product release. As usual, this will be released publicly in
> > the future.
> 
> GNAT is based on GCC, right?  What section of the GPL are you relying
> on to justify making binary releases of modified GPL software to your
> paying clients and refusing to make the source code available to the
> public at the same time?  Under Section 3 of the GPL, it seems clear
> that once you distribute an object code work based on a GPL'd program,
> you must release the source code concurrently.

The GPL never states that you have to make a public release or you
have to give anything to anybody.  It states that if you give someone
a binary release, you have to give them source (which ACT does, the
source is available to customers).  It also says that you cannot
restrict what someone does with what you give them (as long as they
comply with GPL), so ACT asks customers not to release the sources,
but it really cannot require them to.

The GPL is not an easy document to read and requires careful reading
to understand.  Don't make rash statements about GPL without carefully
reading it.  It states that:

    3. You may copy and distribute the Program (or a work based on it,
  under Section 2) in object code or executable form under the terms of
  Sections 1 and 2 above provided that you also do one of the following:

    a) Accompany it with the complete corresponding machine-readable
    source code, which must be distributed under the terms of Sections
    1 and 2 above on a medium customarily used for software interchange; or,

    b) Accompany it with a written offer, valid for at least three
    years, to give any third party, for a charge no more than your
    cost of physically performing source distribution, a complete
    machine-readable copy of the corresponding source code, to be
    distributed under the terms of Sections 1 and 2 above on a medium
    customarily used for software interchange; or,

    c) Accompany it with the information you received as to the offer
    to distribute corresponding source code.  (This alternative is
    allowed only for noncommercial distribution and only if you
    received the program in object code or executable form with such
    an offer, in accord with Subsection b above.)

and ACT complies with a) since they supply code on the FTP site with
the binary executables.

What they do not seem to do, which disturbs me a little, is distribute
the GCC base they use to build their stuff on their FTP site.  Since
the patches they supply don't apply perfectly, they are obviously
using a patched GCC base and do not provide information about how to
get it.  But perhaps they are relying on b) above in the GPL for that
specific part, which would be perfectly fine legally.  I'd rather have
it on the FTP site, though.

> 
> And why hasn't the text of the GPL been included in your previous
> source distributions?
> 

Since it is a patch to GCC, it probably doesn't matter.  It might be
better to include it in the src/ada directory for the compiler sources
just in case, though.  The library sources are under a different
license, so they don't apply.

-- 
Corey Minyard               Internet:  minyard@acm.org
  Work: minyard@nortel.ca       UUCP:  minyard@wf-rch.cirr.com




  reply	other threads:[~1997-06-23  0:00 UTC|newest]

Thread overview: 260+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-05-28  0:00 gnat-3.10 Ronald Cole
1997-05-29  0:00 ` gnat-3.10 Robert Dewar
1997-05-30  0:00   ` gnat-3.10 Ronald Cole
1997-06-07  0:00     ` gnat-3.10 Robert Dewar
     [not found]       ` <m2vi3kpuay.fsf@devo.ridgenet.net>
1997-06-12  0:00         ` gnat-3.10 Robert Dewar
1997-06-12  0:00           ` gnat-3.10 Ronald Cole
1997-06-13  0:00             ` gnat-3.10 Robert Dewar
1997-06-13  0:00               ` gnat-3.10 Robert Dewar
1997-06-16  0:00                 ` gnat-3.10 Ronald Cole
1997-06-16  0:00                   ` gnat-3.10 Dale Pontius
1997-06-17  0:00                     ` gnat-3.10 Ronald Cole
1997-06-18  0:00                       ` gnat-3.10 Dale Pontius
1997-06-18  0:00                       ` gnat-3.10 Andrew Lynch
1997-06-18  0:00                         ` gnat-3.10 Ronald Cole
1997-06-17  0:00                     ` gnat-3.10 Robert Dewar
1997-06-18  0:00                       ` gnat-3.10 Richard Kenner
1997-06-19  0:00                     ` gnat-3.10 Arthur Schwarz
1997-06-16  0:00                   ` gnat-3.10 CHARLET Arnaud
1997-06-17  0:00                     ` gnat-3.10 Ronald Cole
1997-06-18  0:00                       ` gnat-3.10 Samuel Tardieu
1997-06-16  0:00               ` gnat-3.10 Ronald Cole
1997-06-16  0:00                 ` Building gnat-3.10 from source (was: gnat-3.10) Larry Kilgallen
1997-06-17  0:00                   ` Ronald Cole
1997-06-17  0:00                 ` gnat-3.10 Pascal Obry
1997-06-17  0:00                 ` gnat-3.10 Robert Dewar
1997-06-20  0:00                   ` gnat-3.10 Ronald Cole
1997-06-22  0:00                     ` gnat-3.10 Ronald Cole
1997-06-23  0:00                       ` Corey Minyard [this message]
1997-07-01  0:00                         ` gnat-3.10 Robert Dewar
1997-07-01  0:00                         ` gnat-3.10 Richard Kenner
1997-07-01  0:00                         ` gnat-3.10 Robert Dewar
1997-06-23  0:00                       ` gnat-3.10 Larry Kilgallen
1997-06-27  0:00                         ` gnat-3.10 Ronald Cole
1997-06-28  0:00                           ` gnat-3.10 Robert Dewar
1997-06-29  0:00                             ` gnat-3.10 Ronald Cole
1997-06-30  0:00                               ` gnat-3.10 David Kastrup
1997-06-30  0:00                               ` gnat-3.10 Robert Dewar
1997-07-02  0:00                                 ` gnat-3.10 Ronald Cole
1997-07-03  0:00                                 ` gnat-3.10 Joerg Rodemann
1997-07-03  0:00                                 ` gnat-3.10 Daniel R Risacher
1997-07-04  0:00                                   ` gnat-3.10 David Kastrup
1997-06-30  0:00                               ` gnat-3.10 Fergus Henderson
1997-06-30  0:00                               ` gnat-3.10 Robert Dewar
1997-07-01  0:00                                 ` gnat-3.10 Ronald Cole
1997-07-02  0:00                                   ` gnat-3.10 James Rogers
1997-07-03  0:00                                     ` gnat-3.10 Robert Dewar
1997-07-02  0:00                                   ` gnat-3.10 Philip Brashear
1997-07-08  0:00                                   ` gnat-3.10 Robert Dewar
1997-07-10  0:00                                     ` gnat-3.10 Ronald Cole
1997-07-11  0:00                                       ` gnat-3.10 Richard Kenner
1997-06-28  0:00                           ` gnat-3.10 Larry Kilgallen
1997-06-28  0:00                           ` gnat-3.10 Robert Dewar
1997-06-23  0:00                       ` gnat-3.10 Richard Kenner
1997-06-23  0:00                       ` gnat-3.10 Robert Dewar
1997-06-24  0:00                         ` what DOES the GPL really say? Spam Hater
1997-06-25  0:00                           ` Richard Kenner
1997-06-25  0:00                             ` Wes Groleau
1997-06-25  0:00                               ` gnat-3.10 Dale Stanbrough
1997-07-01  0:00                                 ` gnat-3.10 Robert Dewar
1997-07-01  0:00                                   ` gnat-3.10 James Rogers
1997-07-02  0:00                                     ` gnat-3.10 Robert Dewar
1997-07-01  0:00                                 ` gnat-3.10 Richard Kenner
1997-06-25  0:00                               ` what DOES the GPL really say? Paul D. Smith
1997-06-26  0:00                               ` Robert Dewar
1997-06-26  0:00                                 ` Samuel Mize
1997-06-26  0:00                                 ` Wes Groleau
1997-06-26  0:00                                   ` GLADE and GPL (was: what DOES the GPL really say?) Roy T. Fielding
1997-06-26  0:00                                     ` Robert Dewar
1997-06-27  0:00                                     ` David Weller
1997-06-27  0:00                                       ` Robert Dewar
1997-06-30  0:00                                         ` David Weller
1997-07-01  0:00                                           ` Robert Dewar
1997-06-28  0:00                                       ` Richard Kenner
1997-06-27  0:00                                         ` Robert Dewar
1997-06-28  0:00                                           ` Robert Dewar
1997-07-01  0:00                                           ` Richard Kenner
1997-06-28  0:00                                         ` Richard Kenner
1997-06-30  0:00                                         ` David Weller
1997-07-03  0:00                                         ` Steve Peltz
1997-07-04  0:00                                           ` Richard Kenner
1997-07-01  0:00                                       ` Robert Dewar
1997-07-02  0:00                                         ` David Weller
1997-06-27  0:00                                     ` Robert Dewar
1997-06-28  0:00                                       ` Roy T. Fielding
1997-06-29  0:00                                         ` Robert Dewar
1997-06-29  0:00                                         ` David Kastrup
1997-06-29  0:00                                         ` Stefan Monnier
     [not found]                                         ` <dewar.867554947@merv>
1997-06-30  0:00                                           ` Roy T. Fielding
     [not found]                                         ` <dewar.867556141@merv>
1997-06-30  0:00                                           ` Roy T. Fielding
1997-07-01  0:00                                             ` Robert Dewar
1997-06-26  0:00                               ` what DOES the GPL really say? Robert Dewar
1997-06-26  0:00                                 ` Samuel Mize
1997-06-26  0:00                                   ` Thomas Bushnell, n/BSG
1997-06-27  0:00                                     ` Leslie Mikesell
1997-06-26  0:00                                   ` Wes Groleau
1997-06-26  0:00                                     ` Robert Dewar
1997-06-27  0:00                                       ` Samuel Mize
1997-06-30  0:00                                         ` Wes Groleau
1997-06-27  0:00                                     ` kdp0101
1997-06-30  0:00                                       ` Wes Groleau
1997-06-26  0:00                                   ` Thomas Bushnell, n/BSG
1997-06-26  0:00                                     ` Wes Groleau
1997-06-26  0:00                                       ` Robert Dewar
1997-06-29  0:00                                         ` Kai Henningsen
1997-07-05  0:00                                           ` Robert Dewar
1997-06-29  0:00                                         ` user
1997-06-29  0:00                                           ` Robert Dewar
1997-06-29  0:00                                             ` user
1997-06-29  0:00                                               ` Robert Dewar
1997-06-27  0:00                                       ` Stephen Leake
1997-06-27  0:00                                     ` Samuel Mize
1997-06-28  0:00                                       ` Robert Dewar
1997-06-30  0:00                                         ` Wes Groleau
1997-06-30  0:00                                           ` Wes Groleau
1997-06-30  0:00                                             ` Robert Dewar
1997-06-30  0:00                                       ` Thomas Bushnell, n/BSG
1997-06-30  0:00                                         ` Wes Groleau
1997-07-01  0:00                                         ` Samuel Mize
1997-06-26  0:00                                 ` Wes Groleau
1997-06-26  0:00                               ` Richard Kenner
1997-06-26  0:00                             ` David Kastrup
1997-06-27  0:00                             ` Ronald Cole
1997-06-28  0:00                               ` Robert Dewar
1997-06-28  0:00                                 ` Olivier Galibert
     [not found]                                   ` <dewar.867554739@merv>
1997-06-29  0:00                                     ` Robert Dewar
1997-06-30  0:00                                       ` Jon S Anthony
1997-06-30  0:00                                         ` Robert Dewar
1997-06-29  0:00                                 ` Ronald Cole
1997-06-30  0:00                                   ` Robert Dewar
1997-07-01  0:00                                 ` Richard Watts
1997-07-01  0:00                                   ` Richard Kenner
1997-07-03  0:00                                     ` Steve Peltz
1997-07-04  0:00                                       ` Richard Kenner
1997-07-04  0:00                                         ` Olivier Galibert
1997-07-08  0:00                                           ` Richard Kenner
1997-07-08  0:00                                             ` Bill Gribble
1997-07-09  0:00                                             ` David Kastrup
1997-07-09  0:00                                               ` Robert Dewar
1997-07-09  0:00                                                 ` Richard Kenner
1997-07-09  0:00                                               ` Richard Kenner
     [not found]                                         ` <5pmg6e$nai$1@Venus.mcs.net>
1997-07-05  0:00                                           ` user
1997-07-05  0:00                                             ` Leslie Mikesell
1997-07-05  0:00                                               ` Paul Eggert
1997-07-07  0:00                                                 ` Leslie Mikesell
1997-07-06  0:00                                               ` user
1997-07-06  0:00                                                 ` Robert Dewar
1997-07-06  0:00                                               ` Robert Dewar
1997-07-08  0:00                                               ` Richard Kenner
1997-07-05  0:00                                           ` Robert Dewar
1997-07-08  0:00                                           ` Richard Kenner
1997-07-08  0:00                                         ` Steve Peltz
1997-07-08  0:00                                           ` Richard Kenner
1997-07-14  0:00                                             ` Steve Peltz
1997-07-14  0:00                                               ` Robert Dewar
1997-07-14  0:00                                               ` Richard Kenner
1997-07-20  0:00                                               ` Ronald Cole
1997-07-21  0:00                                                 ` Robert Dewar
1997-07-21  0:00                                                   ` Ronald Cole
1997-07-22  0:00                                                     ` Isaac
1997-07-22  0:00                                                       ` Leslie Mikesell
1997-07-23  0:00                                                         ` Isaac
1997-07-23  0:00                                                           ` W. Wesley Groleau x4923
1997-07-29  0:00                                                             ` Ronald Cole
1997-07-23  0:00                                                       ` Robert Dewar
1997-07-29  0:00                                                         ` Ronald Cole
1997-07-30  0:00                                                           ` Joe Buck
1997-07-23  0:00                                                       ` Ronald Cole
1997-07-24  0:00                                                         ` Isaac
1997-07-25  0:00                                                           ` B.Stephens
1997-07-29  0:00                                                           ` Ronald Cole
1997-07-24  0:00                                                         ` David Kastrup
1997-07-23  0:00                                                       ` David Kastrup
1997-07-27  0:00                                                     ` Richard Kenner
1997-07-29  0:00                                                       ` Ronald Cole
1997-07-21  0:00                                                 ` Richard Kenner
1997-07-21  0:00                                                 ` Samuel Tardieu
1997-07-23  0:00                                                 ` Chris Morgan
1997-07-29  0:00                                                   ` Ronald Cole
1997-07-30  0:00                                                     ` Chris Morgan
1997-08-04  0:00                                                       ` Ronald Cole
1997-08-05  0:00                                                         ` David Kastrup
1997-08-09  0:00                                                           ` David Masterson
1997-08-11  0:00                                                             ` David Kastrup
     [not found]                                                         ` <dewar.870872644@merv>
     [not found]                                                           ` <dewar.870873584@merv>
1997-08-12  0:00                                                             ` Ronald Cole
1997-08-13  0:00                                                               ` David Kastrup
1997-08-13  0:00                                                                 ` Ronald Cole
1997-08-15  0:00                                                               ` Isaac
1997-08-19  0:00                                                                 ` Ronald Cole
1997-08-16  0:00                                                               ` Robert Dewar
1997-08-16  0:00                                                                 ` Thomas Koenig
1997-08-17  0:00                                                                 ` Leslie Mikesell
1997-08-19  0:00                                                                   ` Ronald Cole
1997-08-20  0:00                                                                 ` Ronald Cole
1997-08-20  0:00                                                                   ` Robert Dewar
1997-08-25  0:00                                                                     ` Ronald Cole
     [not found]                                                                     ` <hjb-3008970231180001@chaos.dial.idiom.com>
1997-09-02  0:00                                                                       ` Ted Goldblatt
1997-09-02  0:00                                                                         ` Hwa-Jin Bae
1997-09-03  0:00                                                                           ` Ted Goldblatt
1997-09-03  0:00                                                                             ` Hwa-Jin Bae
1997-09-07  0:00                                                                               ` Robert Dewar
1997-09-05  0:00                                                                             ` Robert Dewar
1997-09-08  0:00                                                                               ` Mark Wooding
1997-09-09  0:00                                                                                 ` Isaac
1997-09-08  0:00                                                                               ` Ted Goldblatt
1997-09-05  0:00                                                                           ` Robert Dewar
1997-09-05  0:00                                                                         ` Robert Dewar
1997-08-20  0:00                                                                 ` Mike Stump
1997-08-20  0:00                                                                   ` Robert Dewar
1997-08-21  0:00                                                                     ` Paul Lyon
1997-08-22  0:00                                                                       ` Robert Dewar
1997-08-21  0:00                                                                     ` Thomas Koenig
1997-08-21  0:00                                                                       ` Robert Dewar
     [not found]                                                                         ` <EFIyr0.Erq@kithrup.com>
     [not found]                                                                           ` <34032CE9.77E@link.com>
1997-08-27  0:00                                                                             ` Robert Dewar
     [not found]                                                                               ` <5u11n0$emm@fg70.rz.uni-karlsruhe.de>
1997-08-27  0:00                                                                                 ` Robert Dewar
1997-08-27  0:00                                                                                 ` Simon Wright
1997-08-21  0:00                                                                       ` Robert Dewar
1997-08-21  0:00                                                                   ` egcs (Re: what DOES the GPL really say?) Marinos J. Yannikos
1997-08-21  0:00                                                                     ` Andreas Schwab
     [not found]                                                         ` <33E974F3.1AAC@ix.netcom.com>
1997-08-12  0:00                                                           ` what DOES the GPL really say? Ronald Cole
1997-08-12  0:00                                                             ` Chris Morgan
1997-08-16  0:00                                                               ` Robert Dewar
1997-08-19  0:00                                                               ` Ronald Cole
1997-08-21  0:00                                                                 ` Richard Kenner
1997-08-25  0:00                                                                   ` Ronald Cole
     [not found]                                                                     ` <5tujkj$qr9$1@news.nyu.edu>
1997-08-29  0:00                                                                       ` Ronald Cole
1997-08-30  0:00                                                                         ` Richard Kenner
1997-08-30  0:00                                                                           ` Toon Moene
     [not found]                                                                             ` <5ubkbp$e69$1@news.nyu.edu>
1997-08-31  0:00                                                                               ` Toon Moene
1997-09-01  0:00                                                                                 ` Craig Burley
1997-09-01  0:00                                                                               ` Craig Burley
1997-09-02  0:00                                                                           ` Ronald Cole
1997-09-05  0:00                                                                             ` Richard Kenner
1997-09-06  0:00                                                                               ` Remy Card
1997-09-07  0:00                                                                                 ` rosalia
1997-09-10  0:00                                                                                 ` Richard Kenner
1997-09-11  0:00                                                                                   ` egcs. Was: " David Kastrup
1997-08-13  0:00                                                           ` David Kastrup
1997-07-23  0:00                                                 ` David Kastrup
1997-06-30  0:00                               ` Thomas Bushnell, n/BSG
1997-07-01  0:00                                 ` Scott Michel
1997-07-01  0:00                                   ` Thomas Bushnell, n/BSG
1997-07-02  0:00                                     ` David Weller
1997-07-02  0:00                                       ` Robert Dewar
1997-07-02  0:00                                       ` Thomas Bushnell, n/BSG
1997-07-02  0:00                                         ` Mark Atwood
1997-07-02  0:00                                           ` Matthew S. Whiting
1997-07-06  0:00                                         ` Stefan Monnier
1997-07-02  0:00                                     ` Rand Kant Hegel with Aristotle ? Wes Groleau
1997-07-07  0:00                                       ` Thomas Bushnell, n/BSG
1997-07-08  0:00                                         ` Michael F Brenner
1997-07-09  0:00                                           ` Thomas Bushnell, n/BSG
1997-06-27  0:00                           ` what DOES the GPL really say? Robert Dewar
1997-06-27  0:00                           ` Robert Dewar
1997-06-30  0:00                             ` Wes Groleau
1997-06-16  0:00             ` gnat-3.10 Joerg Rodemann
1997-06-17  0:00               ` gnat-3.10 Ronald Cole
1997-06-12  0:00         ` gnat-3.10 Stephen Leake
1997-06-14  0:00         ` gnat-3.10 Jerry van Dijk
  -- strict thread matches above, loose matches on Subject: below --
1997-07-02  0:00 gnat-3.10 Peter Hermann
1997-07-02  0:00 ` gnat-3.10 Robert Dewar
replies disabled

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