Re: Where to good the good ASIS version for my version of GNAT ?

[sjw <simon.j.wright@mac.com>]

On Nov 5, 8:41 am, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Hillou,
>
> I wanted to recompile ASIS because I needed an ASIS tool. Sos I get ASIS  
> source from AdaCore. The source says “ASIS 2010”. As suggested by the  
> README file, I've checked what “gnatls -v” 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 with  
> this kind of error :
>
>     <asis-tool-name>: 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 had  
> 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…

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