From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: GNAT GPL 2005 Edition is now available
Date: Sun, 18 Sep 2005 18:39:05 +0200
Date: 2005-09-18T18:39:05+02:00 [thread overview]
Message-ID: <87zmqa9vpy.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: 877jde2vyx.fsf@ludovic-brenta.org
* Ludovic Brenta:
> Good point. I have a more new data items from Matthias Klose, the
> main GCC maintainer in Debian.
GCC 4.1 makes things worse because GCC optimizers are better and rely
on more data provided the by the language front-end. This means that
the demands on GIGI with regard to exact output increase even
more. 8-(
> Nothing is 100% certain at this point, except that there is no hurry
> to decide on a definitive Ada compiler for Debian Etch. However, I
> sense that some people are in a hurry to move away from gnat 3.15p.
> Am I correct in this?
GNAT 3.15p has no AMD64 support, and the tasking run-time is broken on
multiprocessor systems on x86. (Could be a kernel bug on this
particular machine, I don't have many SMP systems to test, obviously.)
> I encourage people to investigate the relative technical merits of the
> contenders. Most votes so far have ignored this issue altogether,
> which is bad (IMHO). If some people need more time, then I won't
> close the vote on tuesday, but OTOH I'd like to reach some kind of
> decision and then stick to it.
Do you have a download link for the "GNAT GPL Edition"? I find it
strange that I have to register before I can download software
licensed under the GPL.
> BTW, how many people here use gnat-3.4 or gnat-4.0 regularly? Any
> success or horror stories you might want to share?
GCC 4.0 has a wrong-code bug in enumeration types with holes. I'm
reluctant to invest in a rewrite of my (quite valid!) Ada code to work
around this bug. There appear to be some other issues with array
range checks, but these are more subtle, and I haven't investigated
them further.
GCC 3.4 simply ICEs on my (valid) code. Not investigated further.
> If gnat-3.4 is chosen, its future availability in Etch is guaranteed,
> so I can start a transition of the existing Debian packages soon
> (e.g. October-November 2005). No matter what, this transition will
> take time and effort on my part.
This will be painful for me because I cannot use your GNAT packages
anymore. But unless there's a perspective for de-facto support of
GNAT (with regular releases, and new platforms such as AMD64), I
expect that I'll have to rewrite the software anyway. 8-(
I don't really care about the GPL restriction because it is a
non-issue for me. Look how AdaCore handles the situation; their GPLed
customer releases don't leak on the net, either.
next prev parent reply other threads:[~2005-09-18 16:39 UTC|newest]
Thread overview: 203+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-15 6:50 GNAT GPL 2005 Edition is now available Jamie Ayre
2005-09-15 7:34 ` Jacob Sparre Andersen
2005-09-15 8:44 ` Ludovic Brenta
2005-09-15 9:27 ` Martin Dowie
2005-09-15 10:03 ` Ludovic Brenta
2005-09-15 9:33 ` Brian May
2005-09-15 10:15 ` Ludovic Brenta
2005-09-15 22:58 ` Brian May
2005-09-15 9:39 ` Jacob Sparre Andersen
2005-09-15 10:50 ` Samuel Tardieu
2005-09-15 11:19 ` Stephane Riviere
2005-09-15 11:30 ` GtkAda and GPL/GMGPL, was: Re: GNAT GPL 2005 Edition is Simon Clubley
2005-09-15 11:42 ` Ludovic Brenta
2005-09-15 12:00 ` GNAT GPL 2005 Edition is now available Samuel Tardieu
2005-09-15 12:44 ` Ludovic Brenta
2005-09-15 12:55 ` Samuel Tardieu
2005-09-15 13:37 ` Samuel Tardieu
2005-09-18 15:24 ` Florian Weimer
2005-09-15 13:01 ` Dr. Adrian Wrigley
2005-09-15 15:39 ` Martin Dowie
2005-09-15 16:09 ` Larry Kilgallen
2005-09-15 17:27 ` Dr. Adrian Wrigley
2005-09-15 23:26 ` Jeff Creem
2005-09-16 0:02 ` Dr. Adrian Wrigley
2005-09-16 1:37 ` Jeff Creem
2005-09-16 15:16 ` Jeffrey Carter
2005-09-15 14:27 ` Ludovic Brenta
2005-09-15 15:35 ` Andreas Schwarz
2005-09-15 16:44 ` Georg Bauhaus
2005-09-15 17:05 ` Niklas Holsti
2005-09-15 17:17 ` Adrien Plisson
2005-09-15 18:08 ` Georg Bauhaus
2005-09-15 20:39 ` almost free development tools (Was: GNAT GPL 2005 Edition is now available) Adrien Plisson
2005-09-15 18:18 ` GNAT GPL 2005 Edition is now available Martin Krischik
2005-09-18 16:10 ` Florian Weimer
2005-09-15 18:14 ` Martin Krischik
2005-09-15 22:59 ` Andreas Schwarz
2005-09-15 17:20 ` Simon Clubley
2005-09-15 17:43 ` chris
2005-09-15 18:58 ` Ludovic Brenta
2005-09-15 21:08 ` Georg Bauhaus
2005-09-15 21:24 ` Georg Bauhaus
2005-09-18 16:10 ` Florian Weimer
2005-09-19 12:44 ` Georg Bauhaus
2005-09-19 16:08 ` Pascal Obry
2005-09-19 16:20 ` Georg Bauhaus
2005-09-15 21:25 ` Tapio Kelloniemi
2005-09-15 21:28 ` Tapio Kelloniemi
2005-09-16 8:28 ` Ludovic Brenta
2005-09-16 10:41 ` Tapio Kelloniemi
2005-09-18 16:01 ` Florian Weimer
2005-09-15 23:21 ` GNAT GPL 2005 Edition is now available - A Vote and some other comments Jeff Creem
2005-09-18 15:48 ` GNAT GPL 2005 Edition is now available Florian Weimer
2005-09-18 18:10 ` Jacob Sparre Andersen
2005-09-15 20:32 ` Tapio Kelloniemi
2005-09-16 12:36 ` xavier
2005-09-16 21:57 ` Björn Persson
2005-09-17 10:05 ` [OT] Reasons for using Debian (Was: GNAT GPL 2005 Edition is now available) Jacob Sparre Andersen
2005-09-17 17:41 ` Björn Persson
2005-09-18 16:17 ` [OT] Reasons for using Debian Florian Weimer
2005-09-18 15:42 ` GNAT GPL 2005 Edition is now available Florian Weimer
2005-09-18 16:15 ` Ludovic Brenta
2005-09-18 16:39 ` Florian Weimer [this message]
2005-09-18 17:05 ` Ludovic Brenta
2005-09-20 9:50 ` Florian Weimer
2005-09-20 10:28 ` Ludovic Brenta
2005-09-18 17:32 ` Martin Krischik
2005-09-18 18:25 ` Jacob Sparre Andersen
2005-09-18 21:19 ` Ludovic Brenta
2005-09-19 13:06 ` Jacob Sparre Andersen
2005-09-15 16:01 ` Niklas Holsti
2005-09-15 16:27 ` Jeffrey Carter
2005-09-15 16:59 ` Georg Bauhaus
2005-09-15 18:42 ` Ludovic Brenta
2005-09-16 9:17 ` David Trudgett
2005-09-16 14:15 ` Ludovic Brenta
2005-09-18 13:13 ` Ludovic Brenta
2005-09-18 17:24 ` Florian Weimer
2005-09-19 14:12 ` Marc A. Criley
2005-09-20 5:09 ` Ludovic Brenta
2005-09-18 18:59 ` Niklas Holsti
2005-09-18 21:27 ` Ludovic Brenta
2005-09-19 7:23 ` Brian May
2005-09-19 7:49 ` Samuel Tardieu
2005-09-15 8:10 ` David Trudgett
2005-09-15 8:50 ` Ludovic Brenta
2005-09-15 8:56 ` wojtek
2005-09-15 18:08 ` Martin Krischik
2005-09-15 20:09 ` Samuel Tardieu
2005-09-15 22:33 ` Björn Persson
2005-09-15 23:13 ` Samuel Tardieu
2005-09-18 15:30 ` Florian Weimer
2005-09-19 7:56 ` Samuel Tardieu
2005-09-19 12:46 ` Ole-Hjalmar Kristensen
2005-09-19 20:08 ` Björn Persson
2005-09-19 21:23 ` Björn Persson
2005-09-19 23:05 ` wojtek
2005-09-19 23:55 ` Larry Kilgallen
2005-09-21 7:17 ` Preben Randhol
2005-09-21 12:26 ` Larry Kilgallen
2005-09-21 13:22 ` Preben Randhol
2005-09-20 13:50 ` Steve
2005-09-20 18:01 ` Ludovic Brenta
2005-09-20 19:10 ` Larry Kilgallen
2005-09-20 19:17 ` Ludovic Brenta
2005-09-21 2:22 ` Steve
2005-09-21 4:48 ` Steve Whalen
2005-09-21 23:30 ` chris
2005-09-27 9:28 ` Ole-Hjalmar Kristensen
2005-09-15 18:06 ` Martin Krischik
2005-09-15 19:34 ` Martin Dowie
2005-09-15 20:14 ` Samuel Tardieu
2005-09-21 7:27 ` Preben Randhol
2005-09-21 7:57 ` Samuel Tardieu
2005-09-21 7:58 ` Brian May
2005-09-15 11:55 ` Jeff Creem
2005-09-16 8:36 ` David Trudgett
2005-09-16 10:14 ` Larry Kilgallen
2005-09-16 10:56 ` Ludovic Brenta
2005-09-16 12:20 ` Samuel Tardieu
2005-09-16 12:59 ` Ludovic Brenta
2005-09-16 13:58 ` Niklas Holsti
2005-09-16 15:37 ` Georg Bauhaus
2005-09-17 14:09 ` Ludovic Brenta
2005-09-16 16:45 ` Tapio Kelloniemi
2005-09-16 18:12 ` Marc A. Criley
2005-09-17 6:58 ` Martin Dowie
2005-09-17 10:20 ` Jacob Sparre Andersen
2005-09-17 12:47 ` Georg Bauhaus
2005-09-17 13:37 ` Jacob Sparre Andersen
2005-09-17 14:17 ` Martin Krischik
2005-09-17 17:42 ` Jacob Sparre Andersen
2005-09-17 17:48 ` Ludovic Brenta
2005-09-17 18:41 ` Ludovic Brenta
2005-09-17 19:06 ` Björn Persson
2005-09-17 20:39 ` Ludovic Brenta
2005-09-17 22:59 ` Björn Persson
2005-09-17 23:32 ` tmoran
2005-09-18 0:25 ` Brian May
2005-09-18 15:35 ` Florian Weimer
2005-09-17 13:08 ` Marc A. Criley
2005-09-17 14:44 ` Martin Dowie
2005-09-17 16:19 ` Martin Dowie
2005-09-19 19:22 ` Marc A. Criley
2005-09-21 7:57 ` Preben Randhol
2005-09-21 8:25 ` Niklas Holsti
2005-09-21 8:39 ` Martin Dowie
2005-09-21 8:59 ` Niklas Holsti
2005-09-21 11:02 ` Martin Dowie
2005-09-21 13:20 ` Alex R. Mosteo
2005-09-21 17:29 ` Jeffrey Carter
2005-09-21 20:26 ` Martin Dowie
2005-10-07 0:56 ` Randy Brukardt
2005-09-21 13:47 ` Marc A. Criley
2005-09-19 1:20 ` chrismiller677
2005-09-19 11:24 ` Brian May
2005-09-19 13:19 ` Martin Dowie
2005-09-19 13:35 ` Martin Dowie
2005-09-19 13:38 ` Dirk Craeynest
2005-09-19 14:49 ` Georg Bauhaus
2005-09-19 19:17 ` Björn Persson
2005-09-19 11:39 ` Georg Bauhaus
2005-09-21 7:56 ` Preben Randhol
2005-09-21 8:03 ` Samuel Tardieu
2005-09-21 10:57 ` Preben Randhol
2005-09-21 10:58 ` Preben Randhol
2005-09-21 12:11 ` Jacob Sparre Andersen
2005-09-21 12:32 ` Hyman Rosen
2005-09-21 13:03 ` Samuel Tardieu
2005-09-21 13:16 ` Preben Randhol
2005-09-21 13:49 ` Jacob Sparre Andersen
2005-09-21 20:30 ` Tapio Kelloniemi
2005-09-21 17:27 ` Jeffrey Carter
2005-09-21 19:11 ` Pascal Obry
2005-09-16 20:31 ` Björn Persson
2005-09-17 2:51 ` David Trudgett
2005-09-17 5:56 ` Simon Wright
2005-09-17 14:31 ` Ludovic Brenta
2005-09-17 15:55 ` Martin Krischik
2005-09-16 13:26 ` Stephane Riviere
2005-09-16 15:44 ` Jeffrey Carter
2005-09-19 6:47 ` Steve Whalen
2005-09-19 23:49 ` wojtek
2005-09-20 0:06 ` wojtek
2005-09-19 12:57 ` Ole-Hjalmar Kristensen
2005-09-16 10:56 ` Jeff Creem
2005-09-16 14:19 ` Marc A. Criley
2005-09-16 20:27 ` Björn Persson
2005-09-20 1:22 ` David Trudgett
2005-09-20 8:36 ` Georg Bauhaus
2005-09-20 12:02 ` Hyman Rosen
2005-09-15 8:49 ` wojtek
2005-09-15 13:18 ` Thomas Quinot
2005-09-15 10:30 ` Brian May
2005-09-15 10:54 ` Friess Michael
2005-09-15 22:17 ` Brian May
2005-09-15 22:31 ` Britt Snodgrass
2005-09-15 15:11 ` Larry Kilgallen
2005-09-15 15:20 ` Ludovic Brenta
2005-09-15 16:08 ` Larry Kilgallen
2005-09-15 17:53 ` Simon Clubley
2005-09-15 22:10 ` Björn Persson
2005-09-15 23:19 ` Samuel Tardieu
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox