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

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

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> Le Fri, 05 Nov 2010 14:03:13 +0100, Ludovic Brenta
> <ludovic@ludovic-brenta.org> a écrit:
>> As for compiling any version of ASIS with FSF GCC, see the Debian
>> Policy for Ada[1], it provides a couple of hints.  Also look at
>> gnatvsn.ads in both GCC[2] and your source version of ASIS; they must
>> be identical, in particular the result of GNAT_Version_String.
>> Finally, the end of Stage 1 for GCC 4.5 was in September 2009, so the
>> version of ASIS closest to it is GPL 2009, not 2010.  This is also in
>> the Debian Policy for Ada.
>>
>> [1] http://people.debian.org/~lbrenta/debian-ada-policy.html#ASIS
>> [2]
>> http://git.infradead.org/gcc.git/blob/gcc-4_5-branch:/gcc/ada/gnatvsn.ads
>
> I've just tried to change the version string in asis-2009-src. Not
> better, the same message “raised PROGRAM_ERROR : Inconsistent versions
> of GNAT and  ASIS”. There must be another version tag somewhere (or a
> way to check it  programmatically in), or else the version strings are
> not identical. This  latter is unlikely to be, as I get the version
> string from MinGW source  for GNAT. It says “GNU Ada” (no version
> number, like with the FSF GCC).

As I explained in [1] above, you need more than just gnatvsn, you need
to replace all of the gnat subdirectory of ASIS with the corresponding
sources from GCC.  That's what I did by creating libgnatvsn in Debian.

(Note: this library also contains an object file, version.o, produced
from version.c, which is generated during the configure step of GCC).

I think you should have a look at Debian's patch to produce libgnatvsn
from the GCC sources:

http://green.ada-france.org:8081/revision/file/3e1634dcc6a0eebe6abb1ce86da217ef806dbfe3/debian/patches/ada-libgnatvsn.diff

-- 
Ludovic Brenta.