Re: Current statu of ASIS for GNAT 2012, please ?

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Simon Wright writes on comp.lang.ada:
> "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
>
>> Ludovic, I finally did what I should have tried first: simply use the
>> ASIS source from http://libre.adacore.com/libre/download/ (shame on
>> me) It compiled fine with this freshly compiled GCC+GNAT-4.6
>
> Did it actually _work_?
>
> I managed to build ASIS GPL 2010 with GCC 4.5.0, and get it to work,
> without a huge amount of trouble; my notes say
>
>    ASIS for GNAT reads .adt files, which contain the binary
>    representation of the program. This includes numbers that correspond
>    to syntax elements.
>
>    These numbers are determined for a particular compiler release by
>    particular compiler components, Sinfo and Snames, so to make ASIS
>    work you need to include the appropriate files from your compiler.
>    Sinfo is just the source files sinfo.ads, sinfo.adb.  Snames is
>    created from template files snames.ads-tmpl and snames-adb.tmpl.
>
>    As well as this, you'll need to copy gnatvsn.ads from your compiler,
>    and edit gnatvsn.adb to match (for example, GNAT GPL 2010 source
>    includes GNATPro as a build possibility, which isn't allowable in the
>    FSF sources for GCC 4.5.0).
>
>    So, to adapt ASIS GPL 2010 for use with GCC 4.5.0, in
>    asis-2010-src/gnat/:
>    * replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]
>    * replace snames.*-tmpl by gcc-4.5.0/gcc/ada/snames.*-tmpl
>    * replace gnatvsn.ads by gcc-4.5.0/gcc/ada/gnatvsn.ads
>    * edit gnatvsn.adb to remove the 'gnatpro' choices, not in the .ads
>
> The same process didn't work for ASIS GPL 2010 or 2011 vs GCC 4.6.0,
> because of Tree_Format_Error exceptions; not surprising for 2011,
> because Tree_IO.ASIS_Version_Number is 26 for 2011 and 23 for 4.6.0, but
> unexpected for 2010 whose ASIS_Version_Number is also 23.
>
> If I need to do ASIS things, it's easiest to use the matching GNAT GPL!

Debian solves that problem by introducing libgnatvsn, a library compiled
from GCC sources and containing gnatvsn.ads, sinfo.ad[bs], snames.ad[bs]
and everything they depend on.  libasis is compiled against libgnatvsn.
AFAICT, asis 2010 works with gnat-4.6 on Debian but I'd like to have a
good test case.  Simon, could you explain how you got the
Tree_Format_Error exceptionss so I can try the same thing that you did?

-- 
Ludovic Brenta.