comp.lang.ada
 help / color / mirror / Atom feed
From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Subject: Re: gnat-3.10
Date: 1997/06/23
Date: 1997-06-23T00:00:00+00:00	[thread overview]
Message-ID: <5olocq$ev0$1@news.nyu.edu> (raw)
In-Reply-To: m2oh8ydzt8.fsf@devo.ridgenet.net


In article <m2oh8ydzt8.fsf@devo.ridgenet.net> Ronald Cole <ronald@ridgenet.net> writes:
>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.

This is a common misconception.  See the FSF web pages for a more
detailed discussion of this issue.

In general, the GPL does not (and cannot) impose any requirement to
distribute anything at all, nor to make anything available in any way.

It imposes precisely two requirements: (1) to not put any restrictions
on redistribution and (2) to make sources available when something is
distributed in binary form.  The latter includes a requirement that
the fee for such distribution be limited to cost.  This is the only
requirement on limiting prices in the GPL and is because it would
otherwise be possible to effectively not provide the sources by
setting a very high price on them.

Here is Section 3 that you reference.  Note that there are options (a)
and (b) that would apply to your scenario.  You act as though (a) was
the only option.

---------------------------------------------------------------------------

  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.)

The source code for a work means the preferred form of the work for
making modifications to it.  For an executable work, complete source
code means all the source code for all modules it contains, plus any
associated interface definition files, plus the scripts used to
control compilation and installation of the executable.  However, as a
special exception, the source code distributed need not include
anything that is normally distributed (in either source or binary
form) with the major components (compiler, kernel, and so on) of the
operating system on which the executable runs, unless that component
itself accompanies the executable.

If distribution of executable or object code is made by offering
access to copy from a designated place, then offering equivalent
access to copy the source code from the same place counts as
distribution of the source code, even though third parties are not
compelled to copy the source along with the object code.






  parent 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 Robert Dewar
1997-06-18  0:00                       ` gnat-3.10 Richard Kenner
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-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 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                       ` 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 Robert Dewar
1997-07-01  0:00                                 ` gnat-3.10 Ronald Cole
1997-07-02  0:00                                   ` gnat-3.10 Philip Brashear
1997-07-02  0:00                                   ` gnat-3.10 James Rogers
1997-07-03  0:00                                     ` gnat-3.10 Robert Dewar
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-30  0:00                               ` gnat-3.10 Fergus Henderson
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 David Kastrup
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 Corey Minyard
1997-07-01  0:00                         ` gnat-3.10 Richard Kenner
1997-07-01  0:00                         ` gnat-3.10 Robert Dewar
1997-07-01  0:00                         ` gnat-3.10 Robert Dewar
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                                     ` 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.867556141@merv>
1997-06-30  0:00                                           ` Roy T. Fielding
1997-07-01  0:00                                             ` Robert Dewar
     [not found]                                         ` <dewar.867554947@merv>
1997-06-30  0:00                                           ` Roy T. Fielding
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-26  0:00                               ` what DOES the GPL really say? Robert Dewar
1997-06-26  0:00                                 ` Wes Groleau
1997-06-26  0:00                                 ` Samuel Mize
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                                         ` user
1997-06-29  0:00                                           ` Robert Dewar
1997-06-29  0:00                                             ` user
1997-06-29  0:00                                               ` Robert Dewar
1997-06-29  0:00                                         ` Kai Henningsen
1997-07-05  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                                   ` 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                               ` 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                                           ` Robert Dewar
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                                               ` Robert Dewar
1997-07-06  0:00                                               ` user
1997-07-06  0:00                                                 ` Robert Dewar
1997-07-08  0:00                                               ` Richard Kenner
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                                               ` Richard Kenner
1997-07-14  0:00                                               ` Robert Dewar
1997-07-20  0:00                                               ` Ronald Cole
1997-07-21  0:00                                                 ` Samuel Tardieu
1997-07-21  0:00                                                 ` Richard Kenner
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                                                         ` David Kastrup
1997-07-24  0:00                                                         ` Isaac
1997-07-25  0:00                                                           ` B.Stephens
1997-07-29  0:00                                                           ` Ronald Cole
1997-07-23  0:00                                                       ` David Kastrup
1997-07-27  0:00                                                     ` Richard Kenner
1997-07-29  0:00                                                       ` Ronald Cole
1997-07-23  0:00                                                 ` David Kastrup
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                                                                               ` Ted Goldblatt
1997-09-08  0:00                                                                               ` Mark Wooding
1997-09-09  0:00                                                                                 ` Isaac
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                                                                                 ` Simon Wright
1997-08-27  0:00                                                                                 ` Robert Dewar
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-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                                     ` 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-07-02  0:00                                     ` what DOES the GPL really say? David Weller
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                                       ` Robert Dewar
1997-06-27  0:00                           ` Robert Dewar
1997-06-27  0:00                           ` Robert Dewar
1997-06-30  0:00                             ` Wes Groleau
1997-06-23  0:00                       ` Richard Kenner [this message]
1997-06-17  0:00                 ` gnat-3.10 Pascal Obry
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