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

[Simon Wright <simon@pushface.org>]

"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!