From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,3e26dfa741e64e5f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!cyclone1.gnilink.net!gnilink.net!nx01.iad01.newshosting.com!newshosting.com!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!news1.tnib.de!feed.news.tnib.de!news.tnib.de!news.belwue.de!LF.net!news.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: GNAT GPL 2005 Edition is now available Date: Sun, 18 Sep 2005 18:39:05 +0200 Message-ID: <87zmqa9vpy.fsf@mid.deneb.enyo.de> References: <432919be$0$10539$4d4eb98e@read.news.fr.uu.net> <1126773856.876636.265130@g49g2000cwa.googlegroups.com> <1126794444.071827.191320@o13g2000cwo.googlegroups.com> <877jdecrhj.fsf@mid.deneb.enyo.de> <877jde2vyx.fsf@ludovic-brenta.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: albireo.enyo.de 1127061555 25924 212.9.189.177 (18 Sep 2005 16:39:15 GMT) Cancel-Lock: sha1:u1v8gR+M9Seby52RpXFaxRTt9kw= Xref: g2news1.google.com comp.lang.ada:4871 Date: 2005-09-18T18:39:05+02:00 List-Id: * 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.