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,a4848dc63a15e09a X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!d4g2000prg.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: Ada in Debian: transition to GCC 4.3 for Lenny Date: Tue, 5 Feb 2008 08:57:01 -0800 (PST) Organization: http://groups.google.com Message-ID: <67fa9ee0-a6ff-47db-acc6-61ee6b8863ea@d4g2000prg.googlegroups.com> References: <20080205184144.10f5e8e8.tero.koskinen@iki.fi> NNTP-Posting-Host: 153.98.68.197 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: posting.google.com 1202230621 20287 127.0.0.1 (5 Feb 2008 16:57:01 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 5 Feb 2008 16:57:01 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: d4g2000prg.googlegroups.com; posting-host=153.98.68.197; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.3) Gecko/20040924,gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:19716 Date: 2008-02-05T08:57:01-08:00 List-Id: Tero Koskinen wrote: > On Tue, 5 Feb 2008 02:03:49 -0800 (PST) Ludovic Brenta wrote: > > As a consequence, I feel that > > gnat-4.3 will be more stable and correct than gnat-4.2 (which is > > already pretty good). > > I have been playing with gnat-4.3 on OpenBSD lately. Early January > snapshots had some strange regression and "make bootstrap" took > over 30 hours when it normally takes only about 2-3 hours on my computer. > Fortunately, this was fixed in later snapshots and so far gnat-4.3 > has behaved nicely for me. For example, gnat-4.3 seems to be about > 10%-20% faster than gnat-gpl-2007. I know. This is http://gcc.gnu.org/PR34400 and I refrained from uploading to Debian until it was fixed :) > > In addition, it seems suitable for building the > > latest versions of AWS and ASIS (but I'll report separately on that > > when the time comes). > > I would like to know if you get ASIS working with gnat-4.3. Sure, I'll let you know. The code base of gnat-4.3 seems close to GNAT GPL 2007 so I'll try ASIS 2007 first. Failing that, I'll fall back on ASIS 2006. > I tried to compile gnat-asis-2007 using my customized gnat-4.3, but > adabrowse and adacontrol started to give Program_Errors and > Constrain_Errors, so I had to revert back to gnat-gpl-2007+gnat-asis-2007 > combination for ASIS. Those errors might be because of my own > customizations, but I don't have a Linux computer around so I cannot > verify where the problem is. > > -snip- > Example errors: > > +===========================ASIS BUG DETECTED==============================+ > | ASIS 2.0.R for GNAT GPL 2007 (20070402)) PROGRAM_ERROR Inconsistent versions of GNAT and ASIS| The root cause for this problem is that ASIS contains duplicate copies of parts of GNAT - but, you giessed it, with different versions. ASIS explicitly checks the value of GNATVSN.GNAT_Version_String and raises this Program_Error if it finds a mismatch. In Debian, this problem cannot arise because I have removed the root cause for it. I build a library called libgnatvsn directly from the GCC sources; then I remove the duplicate and inconsistent sources from ASIS and build ASIS using libgnatvsn instead, and, of course, linking dynamically. The same applies to GPS which contains even more of GNAT's internal. Specifically, in addition to the files in libgnatvsn, it contains an out-of-date copy of the project manager. For this I build libgnatprj from the GCC sources, remove the duplicates from GPS, and link dynamically against both libgnatvsn and libgnatprj. Past versions of GPS even contained an out-of-date copy of GtkAda which I also removed. > +===========================ASIS BUG DETECTED==============================+ > | ASIS 2.0.R for GNAT GPL 2007 (20070402)) CONSTRAINT_ERROR table.adb:199 range check failed| > | when processing A4G.Contt.SD.Read_and_Check_New (tree file /home/tkoskine/work/ahven/ahven-doubly_linked_list.adt)| That one is different but may still be related to a version clash. If I see it, I'll fix it. -- Ludovic Brenta.