comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: gnat-3.10
Date: 1997/07/01
Date: 1997-07-01T00:00:00+00:00	[thread overview]
Message-ID: <dewar.867775775@merv> (raw)
In-Reply-To: 5os9i9$o32$1@goanna.cs.rmit.edu.au


Dale asks

<<...and there I think is a major issue that needs explaining (to me at
least!).
What does "contains" mean? If I write a GUI front end for Gnat, does that
constitute containment? I could distributed it separately, and have it just
make system calls to Gnat? What about a program that is linked to some of the
GNAT parser routines? What about a system that dynamically loads Gnat in as
a
DLL? Is the calling convention what determines the "contains" relationship?
>>

First of all you need to look at the GPL itself, not some summary of it
on CLA, and interpet the language there. Generally, if two parts of the
same system are separate Unix processes, with relatively thin interfaces,
the requirements will be met. Linking to some parser routines is obviously
past the line and is not allowed, dynamically loading GNAT will generally
be fine, writing a GUI will certainly be fine.

As is the case with any legal document, you have to look at the contract
terms, and look at the specific case to make sure that you are not violating
the contract. If you are in doubt, you can consult your own lawyer, or you
can ask the copyright holder, who may or may not enlighten you (the holder
of the copyright is under no obligation to give you advance notice of what
might or might not violate the copyright, and may well not be willing to
give you such advance notice if it is a dubious case).

As an example of a dubious case, trying to make a compiler by having the
GNAT front end write a file containing the tree, and a separate proprietary
backend reading the tree is probably dubious, and Richard Stallman, as
representative of the copyright holder, has been unwilling to give an
opinion as to whether this does or does not violate the conditions of the
GPL (he would of course show more interest in the subject if anyone
actually did this!)

On the other hand, a GUI front end for GNAT, such as the many ones that
have already been created, seems absolutely fine for everyone, although
so far, most of these GUI's have themselves been free software, which is
certainly to be encouraged. 

How about a GUI for GDB? Well that's getting closer to the line, perhaps
it is past it, because then the GUI becomes a fundamental part of the
debugger, whereas a GUI for GNAT is not a fundamental part of the compiler
at least not usually.

If all this makes people a bit nervous about what is and what is not allowed
in attempts to use GPL'ed stuff as part of proprietary software, do not
expect us or Richard Stallman to get too upset! If it encourages the
production of more freely available software for the Ada community, that is a good thing. An example
of this happening is the vendor who will be creating a new Ada 95
cross compiler using the GNAT front end and their own previously
proprietary backend, which in its new incarnation will join the
ranks of free software products.

Two particular notes on all this with respect to GNAT.

First, the ASIS interface has been specially designed so that it is suitable
for generating third party products that need not be covered by the GPL. One
of the functions we see for ASIS is providing this kind of insulation.

Second, none of this discussion ever applies to programs *generated* by
GNAT, since all units in question there are covered not by the GPL, but
by the modified GPL that is specifically designed to allow such programs
to be used without imposing GPL distribution requirements.

It only applies to programs that actually want to use some of our
copyrighted code directly.





  reply	other threads:[~1997-07-01  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 Stephen Leake
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 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 Dale Pontius
1997-06-17  0:00                     ` gnat-3.10 Ronald Cole
1997-06-18  0:00                       ` gnat-3.10 Andrew Lynch
1997-06-18  0:00                         ` gnat-3.10 Ronald Cole
1997-06-18  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-19  0:00                     ` gnat-3.10 Arthur Schwarz
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 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                               ` Paul D. Smith
1997-06-25  0:00                               ` gnat-3.10 Dale Stanbrough
1997-07-01  0:00                                 ` Robert Dewar [this message]
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-26  0:00                               ` what DOES the GPL really say? Richard Kenner
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                                         ` David Kastrup
1997-06-29  0:00                                         ` Robert Dewar
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-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-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                                 ` Wes Groleau
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                                               ` Richard Kenner
1997-07-09  0:00                                               ` Robert Dewar
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                                               ` Robert Dewar
1997-07-14  0:00                                               ` Richard Kenner
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                                                       ` David Kastrup
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                                                       ` Robert Dewar
1997-07-29  0:00                                                         ` Ronald Cole
1997-07-30  0:00                                                           ` Joe Buck
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                                                                               ` 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                                                                     ` Thomas Koenig
1997-08-21  0:00                                                                       ` Robert Dewar
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                                                                     ` Paul Lyon
1997-08-22  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                                       ` 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-06-27  0:00                           ` Robert Dewar
1997-06-30  0:00                             ` Wes Groleau
1997-06-27  0:00                           ` Robert Dewar
1997-06-23  0:00                       ` gnat-3.10 Richard Kenner
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-28  0:00                           ` gnat-3.10 Larry Kilgallen
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 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-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 Daniel R Risacher
1997-07-04  0:00                                   ` gnat-3.10 David Kastrup
1997-07-03  0:00                                 ` gnat-3.10 Joerg Rodemann
1997-06-30  0:00                               ` gnat-3.10 David Kastrup
1997-06-23  0:00                       ` gnat-3.10 Corey Minyard
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-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-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