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,432c3b9d4763b8fe,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news3.google.com!feeder.news-service.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Where to good the good ASIS version for my version of GNAT ? Date: Fri, 05 Nov 2010 09:41:28 +0100 Organization: Ada @ Home Message-ID: NNTP-Posting-Host: NQGlFqe1mD/2jNzCmrBjDw.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.63 (Win32) Xref: g2news1.google.com comp.lang.ada:15247 Date: 2010-11-05T09:41:28+01:00 List-Id: Hillou, I wanted to recompile ASIS because I needed an ASIS tool. Sos I get ASIS= = source from AdaCore. The source says =E2=80=9CASIS 2010=E2=80=9D. As sug= gested by the = README file, I've checked what =E2=80=9Cgnatls -v=E2=80=9D tells me. It = says GNATLS 4.5.0 Copyright (C) 1997-2010, Free Software Foundation, Inc. 2010 too, so I though it should be good (no more precise version number = in = ASIS, it just says 2010, so I cannot compare to 4.5.0). Bad surprise, all the ASIS tools compiled with this ASIS library ends wi= th = this kind of error : : Exception name: ASIS.EXCEPTIONS.ASIS_FAILED Message: a4g-vcheck.adb:739 I suppose this is a version miss-match, and I should seek for an ASIS = coming with a GNAT 5.5/GCC 4.5, but could not find one (surprisingly to = = me, I though I could found it on Debian or RedHat repository). I also ha= d = a look at MinGW, but there is none (by the way, I've seen only binaries,= = do not know where source have moved). Here is, if some one know a place for some ASIS source compatible with = GNAT 4.5/GCC 4.5=E2=80=A6 Nice day to all