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

[Simon Wright <simon@pushface.org>]

Simon Wright <simon@pushface.org> writes:

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

That should have been

In asis-2009-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

Note that I didn't actually try this with 2009, since it works just fine
with 2010! and, on my test (use asis2xml to process gnat-math-extn/src),
GNAT GPL 2010 and GCC 4.5.0+ASIS GPL 2010 generated identical output.