comp.lang.ada
 help / color / mirror / Atom feed
From: Brad Moore <brad.moore@shaw.ca>
Subject: Re: GNAT GPL is not shareware
Date: Mon, 05 Jan 2015 06:59:05 -0700
Date: 2015-01-05T06:59:05-07:00	[thread overview]
Message-ID: <HMwqw.528468$5U6.286831@fx01.iad> (raw)
In-Reply-To: <79f3eff7-2b45-40ae-af94-fa9a17426d82@googlegroups.com>

On 15-01-05 04:38 AM, David Botton wrote:
> If the impressionion is Ada is available only for open source or high end niche that leaves most of the world in the middle. That is not Ada advocacy that is harmful.
>
> David Botton
>

But Ada is not GNAT, and the fact that there is also a free version of 
GNAT available should provide coverage for those in the middle who want 
something for free. In addition, there are also other compilers 
available that have other pricing models.

If the impression is that Ada is available only for open source or high 
end niche, that is a false impression. Changing licenses of GNAT-GPL to 
address a false impression doesn't make sense to me. It would make more 
sense to do a better job of propagating a better impression based on fact.

Are there websites propagating this false impression that need to be 
corrected?

If I search for "Ada Programming Language" the top search result I get 
back is this....

http://en.wikipedia.org/wiki/Ada_%28programming_language%29

On this page, it mentions GNAT, but does not mention other compiler 
vendors, nor does it mention the various flavors of GNAT, except under 
the section on history with this sentence.

"A number of commercial companies began offering Ada compilers and 
associated development tools, including Alsys, Telesoft, DDC-I, Advanced 
Computer Techniques, Tartan Laboratories, TLD Systems, and others."


I think it would be helpful if this page also had a section or a link to 
a more comprehensive list of the various versions of Ada compilers that 
are currently available.

If I follow the hyperlink to GNAT, I end up at a page that describes the 
licensing with the following;

"The compiler is licensed under the terms of the GNU General Public 
License. The "GNAT GPL Edition" of the runtime is licensed under the GNU 
General Public License while the "GNAT Pro Edition" is under the GNAT 
Modified General Public License. All versions leading up to and 
including 3.15p are licensed under the GMGPL. GNAT-FSF is included 
within the GNU Compiler Collection with the GMGPL license governing the 
runtime, it corresponds to the GNAT-GPL version of the previous year 
(about 9 months apart). At version 4.4, the runtime was relicensed under 
the GPL version 3 with the GCC Runtime Library Exception.[2] GNAT-FSF is 
part of most major GNU/Linux or BSD distributions.

The GMGPL license in either GNAT Pro runtime or GNAT-FSF runtime permits 
software that is licensed under a license that is incompatible with the 
GPL to be linked with the output of Ada standard generic libraries that 
are supplied with GNAT without breaching the license agreement. 
Conversely, the GPL license of either GNAT GPL runtime or GNAT GAP 
runtime requires software that is linked with the standard libraries to 
be a GPL-compatible license to avoid being in breach of the license 
agreement."

It seems pretty clear to me how the variants of licensing work, but 
perhaps this could be improved upon to provide better clarity.

For instance, I think the first sentence gives the impression that GNAT 
is GPL. It's not until you read further where you learn about other 
variants. So I think the first sentence should be changed.

Brad

  parent reply	other threads:[~2015-01-05 13:59 UTC|newest]

Thread overview: 229+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-04 19:43 What is the best license to use for open source software? Hubert
2015-01-04 20:24 ` Jeffrey Carter
2015-01-04 20:50 ` David Botton
2015-01-04 21:27   ` Ludovic Brenta
2015-01-04 22:13     ` David Botton
2015-01-04 23:14       ` Ludovic Brenta
2015-01-05  0:56         ` David Botton
2015-01-05  1:20           ` Ludovic Brenta
2015-01-05  2:28             ` David Botton
2015-01-05 11:24               ` GNAT GPL is not shareware (was: Re: What is the best license to use for open source software?) Dirk Heinrichs
2015-01-05 11:38                 ` David Botton
2015-01-05 12:02                   ` GNAT GPL is not shareware Mark Carroll
2015-01-05 13:26                     ` David Botton
2015-01-06  0:39                       ` Dennis Lee Bieber
2015-01-06  0:48                         ` Hubert
2015-01-06  0:54                           ` David Botton
2015-01-06  4:02                             ` Hubert
2015-01-06 13:26                               ` Stefan.Lucks
2015-01-06 14:45                                 ` J-P. Rosen
2015-01-06 14:51                                   ` David Botton
2015-01-06 20:14                                     ` Randy Brukardt
2015-01-06 20:59                                       ` David Botton
2015-01-07 23:36                                         ` Randy Brukardt
2015-01-08  3:22                                           ` David Botton
2015-01-08  4:21                                             ` Hubert
2015-01-08  5:17                                               ` David Botton
2015-01-08  8:52                                             ` Simon Wright
2015-01-08 11:36                                               ` gnatmake to lose support for project files, gprbuild instead Ludovic Brenta
2015-01-09  2:05                                             ` GNAT GPL is not shareware Randy Brukardt
2015-01-09  2:40                                               ` Paul Rubin
2015-01-09  3:42                                                 ` David Botton
2015-01-09  6:50                                                   ` Paul Rubin
2015-01-09 17:17                                                   ` Mark Carroll
2015-01-09 20:08                                                     ` David Botton
2015-01-10 12:53                                                       ` Brian Drummond
2015-01-10  2:06                                                     ` Simon Clubley
2015-01-09  3:40                                               ` David Botton
2015-01-09  9:25                                               ` Jacob Sparre Andersen
2015-01-06 15:36                                   ` G.B.
2015-01-06 17:14                                     ` David Botton
2015-01-06 14:46                                 ` David Botton
2015-01-06 15:09                                 ` Björn Lundin
2015-01-06 17:37                                   ` Björn Lundin
2015-01-06 17:46                                     ` Björn Lundin
2015-01-06 20:52                                     ` Shark8
2015-01-06 21:15                                       ` Björn Lundin
2015-01-06 21:46                                         ` Shark8
2015-01-07 11:00                                           ` Björn Lundin
2015-01-07 12:23                                             ` sbelmont700
2015-01-07 13:03                                               ` Björn Lundin
2015-01-07 13:46                                                 ` sbelmont700
2015-01-07 14:16                                                   ` Björn Lundin
2015-01-07 22:27                                                 ` Randy Brukardt
2015-01-07 13:19                                               ` Thomas Løcke
2015-01-07 16:32                                             ` Shark8
2015-01-07 17:28                                               ` Björn Lundin
2015-01-07 19:04                                                 ` Shark8
2015-01-07 22:58                                                   ` Randy Brukardt
2015-01-07 19:24                                                 ` Shark8
2015-01-07 21:45                                                   ` Björn Lundin
2015-01-07 17:33                                               ` Björn Lundin
2015-01-07 17:39                                                 ` Björn Lundin
2015-01-07 22:47                                               ` Randy Brukardt
2015-01-07 23:02                                                 ` Björn Lundin
2015-01-07 23:47                                                   ` Randy Brukardt
2015-01-08  8:14                                                 ` Dmitry A. Kazakov
2015-01-08 10:55                                                   ` G.B.
2015-01-08 12:30                                                     ` Dmitry A. Kazakov
2015-01-08 14:17                                                       ` G.B.
2015-01-08 16:54                                                         ` Dmitry A. Kazakov
2015-01-09 13:47                                                           ` G.B.
2015-01-09 22:03                                                             ` Randy Brukardt
2015-01-09 23:39                                                               ` Shark8
2015-01-12 23:49                                                                 ` Randy Brukardt
2015-01-13  9:00                                                                   ` J-P. Rosen
2015-01-13 15:51                                                                     ` Robert A Duff
2015-01-13 17:46                                                                       ` J-P. Rosen
2015-01-13 21:19                                                                     ` Randy Brukardt
2015-01-14  8:47                                                                       ` J-P. Rosen
2015-01-14 16:22                                                                         ` Robert A Duff
2015-01-14 17:45                                                                           ` J-P. Rosen
2015-01-14 23:43                                                                             ` Robert A Duff
2015-01-15  9:31                                                                               ` J-P. Rosen
2015-01-15 14:24                                                                       ` G.B.
2015-01-15 20:24                                                                         ` David Botton
2015-01-15 21:10                                                                           ` Simon Wright
2015-01-16  0:35                                                                             ` David Botton
2015-01-16  0:45                                                                               ` David Botton
2015-01-10  7:18                                                             ` Dmitry A. Kazakov
2015-01-12 11:40                                                               ` G.B.
2015-01-12 13:21                                                                 ` Dmitry A. Kazakov
2015-01-12 14:52                                                                   ` G.B.
2015-01-12 15:22                                                                     ` Dmitry A. Kazakov
2015-01-13  0:00                                                                     ` Randy Brukardt
2015-01-12 23:52                                                                   ` Randy Brukardt
2015-01-09  2:33                                                         ` Randy Brukardt
2015-01-08 18:46                                                     ` Shark8
2015-01-08 20:51                                                       ` Björn Lundin
2015-01-09  2:20                                                     ` Randy Brukardt
2015-01-09 14:11                                                       ` G.B.
2015-01-09 21:33                                                         ` Randy Brukardt
2015-01-09 21:47                                                           ` Shark8
2015-01-09 22:07                                                             ` Randy Brukardt
2015-01-09 23:36                                                               ` Shark8
2015-01-12 23:37                                                                 ` Randy Brukardt
2015-01-07  9:15                                         ` Georg Bauhaus
2015-01-09 10:27                                 ` Arie van Wingerden
2015-01-09 10:58                                   ` Arie van Wingerden
2015-01-09 16:39                                   ` Pascal Obry
2015-01-10 17:33                                     ` Arie van Wingerden
2015-01-10 17:44                                       ` Pascal Obry
2015-01-11  1:09                                       ` David Botton
2015-01-11 11:39                                         ` Arie van Wingerden
2015-01-11 17:42                                       ` Ludovic Brenta
2015-01-06 18:45                               ` Ludovic Brenta
2015-01-05 18:43                     ` Jeffrey Carter
2015-01-05 13:40                   ` G.B.
2015-01-05 13:59                   ` Brad Moore [this message]
2015-01-05 14:49                     ` G.B.
2015-01-05 15:11                     ` David Botton
2015-01-06 18:43                   ` Ludovic Brenta
2015-01-06 19:42                     ` David Botton
2015-01-06 20:22                       ` Ludovic Brenta
2015-01-07  1:59                       ` Hubert
2015-01-07  9:38                         ` Pascal Obry
2015-01-07 10:17                           ` Mark Carroll
2015-01-07 10:27                             ` Pascal Obry
2015-01-07 12:44                               ` David Botton
2015-01-07 15:39                               ` Dirk Heinrichs
2015-01-07 23:45                         ` Randy Brukardt
2015-01-08  4:09                           ` Hubert
2015-01-08  8:57                             ` Simon Wright
2015-01-08 11:06                             ` G.B.
2015-01-05 18:43                 ` Jeffrey Carter
2015-01-06  0:44                   ` Dennis Lee Bieber
2015-01-29 12:58                   ` Lucretia
2015-01-29 14:25                     ` Jedi Tek'Unum
2015-01-30 11:20                       ` Brian Drummond
2015-01-29 19:12                     ` Jeffrey Carter
2015-01-29 20:57                       ` Björn Lundin
2015-01-30 16:48                         ` Jedi Tek'Unum
2015-01-30 20:15                           ` Randy Brukardt
2015-01-30 21:03                             ` Randy Brukardt
2015-01-31  8:16                               ` Dirk Heinrichs
2015-01-31 15:38                               ` Jedi Tek'Unum
2015-02-02 20:44                                 ` Randy Brukardt
2015-02-02 22:06                                   ` David Botton
2015-02-03 20:14                                     ` Randy Brukardt
2015-02-04  0:09                                       ` David Botton
2015-02-04  7:27                                         ` Pascal Obry
2015-02-04  8:00                                           ` Mark Carroll
2015-02-04  8:38                                             ` Pascal Obry
2015-02-04 12:27                                               ` G.B.
2015-02-04 12:48                                                 ` David Botton
2015-02-04 17:03                                               ` Björn Lundin
2015-02-04 10:15                                           ` Simon Wright
2015-02-04 12:30                                           ` David Botton
2015-02-02 22:13                                   ` Björn Lundin
2015-02-02 23:03                                   ` Jedi Tek'Unum
2015-02-03 20:36                                     ` Randy Brukardt
2015-02-03 22:54                                       ` Jedi Tek'Unum
2015-02-04 17:42                                         ` Björn Lundin
2015-02-04 19:41                                           ` Simon Wright
2015-02-04 22:49                                             ` Jedi Tek'Unum
2015-02-05  9:00                                               ` Simon Wright
2015-02-04 20:57                                         ` Randy Brukardt
2015-02-04 23:17                                           ` Jedi Tek'Unum
2015-02-04 23:57                                             ` Jedi Tek'Unum
2015-02-05  9:06                                               ` Simon Wright
2015-02-05 20:26                                                 ` Jedi Tek'Unum
2015-02-03 23:34                                       ` Jeffrey Carter
2015-02-03 23:55                                       ` Jedi Tek'Unum
2015-02-04  0:20                                         ` David Botton
2015-02-04 21:20                                         ` Randy Brukardt
2015-01-31  9:49                             ` G.B.
2015-01-31 16:12                               ` Jedi Tek'Unum
2015-02-02 12:06                                 ` Marius Amado-Alves
2015-01-30 11:48                   ` Marius Amado-Alves
2015-01-30 12:10                     ` G.B.
2015-01-30 12:12                     ` Björn Lundin
2015-01-30 13:50                       ` Simon Wright
2015-01-30 15:48                         ` Björn Lundin
2015-01-30 17:13                         ` Jeffrey Carter
2015-01-30 17:34                           ` Simon Wright
2015-01-30 18:21                             ` Jeffrey Carter
2015-01-30 18:49                               ` Simon Wright
2015-01-30 19:46                                 ` Randy Brukardt
2015-01-31  9:02                                   ` Simon Wright
2015-02-01 21:17                                   ` Containers on small systems (Was: GNAT GPL is not shareware) Simon Wright
2015-02-05  9:40                                     ` Containers on small systems Simon Wright
2015-02-06 21:54                                       ` Simon Wright
2015-02-18 22:25                                         ` Simon Wright
2015-01-31 11:04                       ` GNAT GPL is not shareware Brian Drummond
2015-01-05 19:54               ` What is the best license to use for open source software? Michael B.
2015-01-05 20:45                 ` David Botton
2015-01-05 21:51                   ` sbelmont700
2015-01-05 13:36       ` G.B.
2015-01-05 14:54         ` David Botton
2015-01-05  3:47   ` Hubert
2015-01-05 15:56     ` Maciej Sobczak
2015-01-05 16:52       ` Tero Koskinen
2015-01-05 16:53       ` David Botton
2015-01-23 11:49 ` jeditekunum
2015-01-26 15:01   ` Jedi Tek'Unum
2015-01-26 15:37     ` David Botton
2015-01-26 22:46       ` Jedi Tek'Unum
2015-01-27  0:39         ` G.B.
2015-01-27  1:59           ` David Botton
2015-01-27  8:52           ` Dmitry A. Kazakov
2015-01-29  7:03             ` Vadim Godunko
2015-01-29  8:50               ` Dmitry A. Kazakov
2015-01-29 10:25                 ` Georg Bauhaus
2015-01-29 12:31                   ` Vadim Godunko
2015-01-29 10:29                 ` Georg Bauhaus
2015-01-29 13:19                   ` Dmitry A. Kazakov
2015-01-29 14:21                     ` G.B.
2015-01-29 15:06                       ` Dmitry A. Kazakov
2015-01-29 14:41                     ` G.B.
2015-01-29 15:11                       ` Dmitry A. Kazakov
2015-01-29 12:23                 ` G.B.
2015-01-29 12:47                   ` Vadim Godunko
2015-01-29 14:06                     ` G.B.
2015-01-27 22:44           ` Jedi Tek'Unum
2015-01-28  1:16             ` David Botton
2015-01-28 19:29               ` Jedi Tek'Unum
2015-01-27  6:18         ` Shark8
2015-01-27 11:18         ` Brian Drummond
2015-01-28 19:12           ` Jerry Petrey
  -- strict thread matches above, loose matches on Subject: below --
2015-01-09 21:58 GNAT GPL is not shareware Randy Brukardt
replies disabled

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