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
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news2.google.com!postnews.google.com!t35g2000yqj.googlegroups.com!not-for-mail
From: sjw <simon.j.wright@mac.com>
Newsgroups: comp.lang.ada
Subject: Re: Where to good the good ASIS version for my version of GNAT ?
Date: Fri, 5 Nov 2010 04:00:59 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <2381c925-4186-4bcd-b38d-1857c71d8b44@t35g2000yqj.googlegroups.com>
References: <op.vlovreqgule2fv@garhos>
NNTP-Posting-Host: 20.133.0.13
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1288954859 11263 127.0.0.1 (5 Nov 2010 11:00:59
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 5 Nov 2010 11:00:59 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: t35g2000yqj.googlegroups.com; posting-host=20.133.0.13;
 posting-account=_RXWmAoAAADQS3ojtLFDmTNJCT0N2R4U
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.2.12)
 Gecko/20101026 Firefox/3.6.12,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:16222
Date: 2010-11-05T04:00:59-07:00
List-Id: <comp.lang.ada>

On Nov 5, 8:41=A0am, Yannick Duch=EAne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Hillou,
>
> I wanted to recompile ASIS because I needed an ASIS tool. Sos I get ASIS =
=A0
> source from AdaCore. The source says =93ASIS 2010=94. As suggested by the=
 =A0
> README file, I've checked what =93gnatls -v=94 tells me. It says
>
> =A0 =A0 GNATLS 4.5.0
> =A0 =A0 Copyright (C) 1997-2010, Free Software Foundation, Inc.
>
> 2010 too, so I though it should be good (no more precise version number i=
n =A0
> 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 wit=
h =A0
> this kind of error :
>
> =A0 =A0 <asis-tool-name>: Exception name: ASIS.EXCEPTIONS.ASIS_FAILED
> =A0 =A0 Message: a4g-vcheck.adb:739
>
> I suppose this is a version miss-match, and I should seek for an ASIS =A0
> coming with a GNAT 5.5/GCC 4.5, but could not find one (surprisingly to =
=A0
> me, I though I could found it on Debian or RedHat repository). I also had=
 =A0
> a look at MinGW, but there is none (by the way, I've seen only binaries, =
=A0
> do not know where source have moved).
>
> Here is, if some one know a place for some ASIS source compatible with =
=A0
> GNAT 4.5/GCC 4.5=85

Much easier to use the matching GNAT GPL 2010 from AdaCore!