comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT packages in Linux distributions
Date: Sun, 9 May 2010 21:36:58 +0200
Date: 2010-05-09T21:36:58+02:00	[thread overview]
Message-ID: <t8liq7w6ffnm$.19yq5hkq6tdto$.dlg@40tude.net> (raw)
In-Reply-To: 87mxw9x7no.fsf@ludovic-brenta.org

On Sun, 09 May 2010 20:16:27 +0200, Ludovic Brenta wrote:

> Dmitry A. Kazakov writes on comp.lang.ada:
>> For more than a year I has been using either GNAT Pro or GNAT
>> GPL. Recently I installed Fedora and Debian GNAT distributions and
>> discovered that basically all two years old bugs known to me are still
>> present. Some of these bugs were fixed in GNAT GPL 2009, others in
>> GNAT Pro 6.3.
>>
>> So my question is: is there any information or summary on the Web
>> about how Linux distributions are related to AdaCore releases? Or
>> maybe somebody knowledgeable could create and maintain this as a wiki
>> etc.
> 
> http://people.debian.org/~lbrenta/debian-ada-policy.html

Thanks. I was aware of the document, but didn't read it thoroughly.

> See section 2.3.4 FSF releases and (now outdated) Appendix B. You will
> see that the GCC 4.3 you are using is roughly equivalent to GNAT GPL
> 2007; Debian testing has GCC 4.4 which is roughly equivalent to GNAT GPL
> 2008.

I.e.

2010 - 2008 = 2 (Fedora - gprbuild, GPS, GNADE ODBC, APQ)
2010 - 2007 = 3 (Debian + gprbuild, GPS, GNADE ODBC, APQ)

Right?

> Note that I backport some bug fixes into the Debian version of
> GCC.

Do you have access to AdaCore wavefronts?

>> It is important with respect to submitting bug reports. I already did
>> some to Debian. But then I started to discover more and more. Because
>> the bugs I am talking about are known fixed, in my eyes, it does not
>> make any sense to submit them again. (Provided, GNAT will not be
>> developed independently on AdaCore, rather than merely packaged)
> 
> "known fixed" to whom?

To me. Many I have already forgotten, it is two years since then...

> The bug database at AdaCore is private (and with good reason).

Whatever reasons might be, they aren't good. (:-()

> If you
> use the FSF version of GNAT, you should use the corresponding bug
> database: Debian, Fedora or GCC upstream.

Hmm, that would make sense only for bugs related to the compiler
environment, packaging etc. If the bug is a compiler problem, there is no
chance it can be fixed unless somebody is working on the compiler itself.
For example, there is a bug in assignment of controlled objects. It crashes
Debian, leaks in Fedora, fixed in GPL 2009. Should it be reported? Where
to?

> There are a few contributors external to AdaCore that provide bug fixes
> into the FSF GCC, sometimes ahead of AdaCore; I normally backport such
> fixes into the Debian version.  Eventually, all bug fixes end up in both
> GNAT Pro/GPL and in FSF GCC.  The keyword is "eventually"; the time lag
> can be months or years as you noted.

So, when (if) GNAT GPL 2010 come, nothing will sufficiently change for FSF?
That is very disappointing. I hoped to jump off the GPL track (not because
of the license issue).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2010-05-09 19:36 UTC|newest]

Thread overview: 95+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-05-09 17:40 GNAT packages in Linux distributions Dmitry A. Kazakov
2010-05-09 18:16 ` Ludovic Brenta
2010-05-09 19:36   ` Dmitry A. Kazakov [this message]
2010-05-09 21:26     ` Ludovic Brenta
2010-05-09 21:34       ` Yannick Duchêne (Hibou57)
2010-05-10  1:20         ` Ludovic Brenta
2010-05-10  1:26           ` Ludovic Brenta
2010-05-25 20:40             ` Yannick Duchêne (Hibou57)
2010-05-10  9:41         ` Stephen Leake
2010-05-10  9:46           ` Ludovic Brenta
2010-05-10 14:29             ` sjw
2010-05-11  7:51               ` Ludovic Brenta
2010-05-11  9:33                 ` sjw
2010-05-10 18:47           ` Yannick Duchêne (Hibou57)
2010-05-09 21:28     ` Yannick Duchêne (Hibou57)
2010-05-09 21:30       ` Yannick Duchêne (Hibou57)
2010-05-09 22:44       ` Simon Wright
2010-05-10  7:54         ` Dmitry A. Kazakov
2010-05-10  8:02       ` Dmitry A. Kazakov
2010-05-10 18:45         ` Yannick Duchêne (Hibou57)
2010-05-10 21:00           ` Ludovic Brenta
2010-05-10 22:17             ` Yannick Duchêne (Hibou57)
2010-05-11  6:56               ` Ludovic Brenta
2010-05-11  7:39           ` Dmitry A. Kazakov
2010-05-11  8:06             ` Yannick Duchêne (Hibou57)
2010-05-11 15:46             ` Pascal Obry
2010-05-11 16:05               ` Yannick Duchêne (Hibou57)
2010-05-11 16:09                 ` Pascal Obry
2010-05-11 16:09                   ` Pascal Obry
2010-05-11 17:08                     ` stefan-lucks
2010-05-11 16:39                       ` Yannick Duchêne (Hibou57)
2010-05-11 19:45                         ` Yannick Duchêne (Hibou57)
2010-05-11 23:44                           ` Yannick Duchêne (Hibou57)
2010-05-12 12:12                             ` Mark Lorenzen
2010-05-12 14:55                               ` Yannick Duchêne (Hibou57)
2010-05-11 17:35                       ` Pascal Obry
2010-05-11 18:06                         ` Yannick Duchêne (Hibou57)
2010-05-11 16:23                   ` Yannick Duchêne (Hibou57)
2010-05-11 16:41                     ` J-P. Rosen
2010-05-11 16:45                 ` Dmitry A. Kazakov
2010-05-11 19:21                   ` Yannick Duchêne (Hibou57)
2010-05-12  8:41                   ` stefan-lucks
2010-05-12 14:52                     ` Yannick Duchêne (Hibou57)
2010-05-12 15:59                       ` Phil Thornley
2010-05-12 16:49                         ` Yannick Duchêne (Hibou57)
2010-05-13  8:05                           ` Phil Thornley
2010-05-12 15:37                     ` Dmitry A. Kazakov
2010-05-12 16:06                       ` Yannick Duchêne (Hibou57)
2010-05-12 17:24                         ` Dmitry A. Kazakov
2010-05-12 18:09                           ` Georg Bauhaus
2010-05-12 18:33                             ` Dmitry A. Kazakov
2010-05-12 18:53                               ` Georg Bauhaus
2010-05-12 21:57                                 ` Dmitry A. Kazakov
2010-05-13  2:03                                   ` Georg Bauhaus
2010-05-13  8:39                                     ` Dmitry A. Kazakov
2010-05-14 23:45                                       ` Georg Bauhaus
2010-05-15  9:30                                         ` Dmitry A. Kazakov
2010-05-15 18:39                                           ` Georg Bauhaus
2010-05-15 20:33                                             ` Dmitry A. Kazakov
2010-05-15  0:17                             ` Robert A Duff
2010-05-15  9:40                               ` Dmitry A. Kazakov
2010-05-12 18:15                           ` Georg Bauhaus
2010-05-25 20:45                           ` Yannick Duchêne (Hibou57)
2010-05-26  7:55                             ` Dmitry A. Kazakov
2010-05-26  8:38                             ` stefan-lucks
2010-05-26  8:01                               ` Yannick Duchêne (Hibou57)
2010-05-26 11:25                               ` Yannick Duchêne (Hibou57)
2010-05-26 13:02                                 ` stefan-lucks
2010-05-26 12:22                                   ` Yannick Duchêne (Hibou57)
2010-05-27 12:47                                     ` stefan-lucks
2010-05-27 12:26                                       ` Yannick Duchêne (Hibou57)
2010-05-26 13:06                                   ` (see below)
2010-05-27 12:41                                     ` stefan-lucks
2010-05-27 12:29                                       ` Yannick Duchêne (Hibou57)
2010-05-27 15:21                                       ` (see below)
2010-06-03  3:16                                         ` Yannick Duchêne (Hibou57)
2010-06-03 10:42                                           ` Brian Drummond
2010-06-03 21:14                                             ` (see below)
2010-06-03 22:00                                               ` Britt Snodgrass
2010-06-03 22:29                                                 ` (see below)
2010-06-03 13:49                                           ` (see below)
2010-06-04 13:49                                             ` Georg Bauhaus
2010-06-04 13:53                                               ` Georg Bauhaus
2010-06-04 14:24                                               ` Yannick Duchêne (Hibou57)
2010-06-04 17:34                                                 ` Georg Bauhaus
2010-06-04 15:29                                               ` (see below)
2010-05-12 18:10                       ` stefan-lucks
2010-05-12 17:48                         ` Dmitry A. Kazakov
2010-05-13  0:37                           ` stefan-lucks
2010-05-13  9:09                             ` Dmitry A. Kazakov
2010-05-13  0:33                     ` Yannick Duchêne (Hibou57)
2010-05-10 14:15       ` GNAT Pro license (was: " Peter Hermann
2010-05-10  1:40 ` Björn Persson
2010-05-10  2:04   ` Yannick Duchêne (Hibou57)
2010-05-10  7:01     ` Ludovic Brenta
replies disabled

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