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

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

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…


    Nice day to all