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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b2b519fb2d20e8d1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.33.71 with SMTP id p7mr28098065pbi.1.1317580895272; Sun, 02 Oct 2011 11:41:35 -0700 (PDT) Path: lh7ni9986pbb.0!nntp.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!feeder.news-service.com!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Current statu of ASIS for GNAT 2012, please ? Date: Sun, 02 Oct 2011 20:41:32 +0200 Organization: Ada @ Home Message-ID: References: <87sjngwoo6.fsf@ludovic-brenta.org> <87lit7x2xu.fsf@ludovic-brenta.org> <4fade922-81df-4480-83b1-d8025075306b@dm9g2000vbb.googlegroups.com> <877h4puldk.fsf@ludovic-brenta.org> <8739fcvgfx.fsf@ludovic-brenta.org> NNTP-Posting-Host: Li7L+zl/I1xdDYceVTZeOw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/11.51 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Xref: news1.google.com comp.lang.ada:18272 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2011-10-02T20:41:32+02:00 List-Id: Le Sat, 01 Oct 2011 18:12:50 +0200, Ludovic Brenta a =C3=A9crit: > Bad news: AUnit has not yet migrated to gnat-4.6 in the same > Debian unstable. I could finally get all yesterday. Using FSF GCC 4.6.1 (not the Debian = one), using XMLAda 3.2 and ASIS 2010 from Debian and GPRBuild 2011 and = AUnit 2011 from AdaCore Libre. I also had to use a libaddr2line (see = below) which I found on the web. This was a bit tricky in some parts, bu= t = it all works and won't do it again before long. I had to partially patch= = GPRBuild, using a subset of the patch used by Debian. I did not used GPRBuild from Debian, because it invariably stopped at = startup with a runtime error (something erroneous with a pointer). As this was a bit tricky in some parts, I won't bother people here with = = the details. If some one interested, drop me a mail. I may also provide = an = archive of compiled source for i386, but its hug for my hosting, 90M. So= I = wont unless it is really of interest to someone. Note to people: be aware of differences between AUnit from AdaCore and = AUnit from Debian, both are really not the same. This may be worth to ha= ve = a look at the one from AdaCore too, to get an idea of the differences. For people with trouble with a missing libaddr2line: http://libaddr2line.git.sourceforge.net/git/gitweb.cgi?p=3Dlibaddr2line/= libaddr2line;a=3Dtree; Compile and copy in /usr/lib After compiling, you will find a test program, named raiseit, in the tes= t = directory to be sure it works for you. Explicitly written to be used with GNAT. Limitation: 64 bits not support= ed = so far, as said in the TODO file. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [Ep= igrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale University] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [Idem] Java: Write once, Never revisit