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

[Simon Wright <simon@pushface.org>]

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> 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.

Hmm.

In asis-2009-src/gnat/,

. replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]

. replace gnatvsn.ads by gcc-4.5.0/gcc/ada/gnatvsn.ads

. edit gnatvsn.adb to remove the 'gnatpro' choices, not in the .ads

and build (in asis-2009-src/, "make all"). This ran at least one of the
examples in tutorial/using_asistant/black_box.scr.