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

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

[Yannick Duchêne (Hibou57)]

Hillou,

I wanted to recompile ASIS because I needed an ASIS tool. Sos I get ASIS  
source from AdaCore. The source says “ASIS 2010”. As suggested by the  
README file, I've checked what “gnatls -v” tells me. It says

    GNATLS 4.5.0
    Copyright (C) 1997-2010, Free Software Foundation, Inc.

2010 too, so I though it should be good (no more precise version number in  
ASIS, it just says 2010, so I cannot compare to 4.5.0).

Bad surprise, all the ASIS tools compiled with this ASIS library ends with  
this kind of error :

    <asis-tool-name>: Exception name: ASIS.EXCEPTIONS.ASIS_FAILED
    Message: a4g-vcheck.adb:739

I suppose this is a version miss-match, and I should seek for an ASIS  
coming with a GNAT 5.5/GCC 4.5, but could not find one (surprisingly to  
me, I though I could found it on Debian or RedHat repository). I also had  
a look at MinGW, but there is none (by the way, I've seen only binaries,  
do not know where source have moved).


Here is, if some one know a place for some ASIS source compatible with  
GNAT 4.5/GCC 4.5…


    Nice day to all

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

[Yannick Duchêne (Hibou57)]

Le Fri, 05 Nov 2010 09:41:28 +0100, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:

ASIS GCC vs ASIS GPL ? What is this about ?
Look there :
http://mirror.leaseweb.com/gentoo-portage/dev-ada/


-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

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

[sjw]

On Nov 5, 8:41 am, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Hillou,
>
> I wanted to recompile ASIS because I needed an ASIS tool. Sos I get ASIS  
> source from AdaCore. The source says “ASIS 2010”. As suggested by the  
> README file, I've checked what “gnatls -v” tells me. It says
>
>     GNATLS 4.5.0
>     Copyright (C) 1997-2010, Free Software Foundation, Inc.
>
> 2010 too, so I though it should be good (no more precise version number in  
> ASIS, it just says 2010, so I cannot compare to 4.5.0).
>
> Bad surprise, all the ASIS tools compiled with this ASIS library ends with  
> this kind of error :
>
>     <asis-tool-name>: Exception name: ASIS.EXCEPTIONS.ASIS_FAILED
>     Message: a4g-vcheck.adb:739
>
> I suppose this is a version miss-match, and I should seek for an ASIS  
> coming with a GNAT 5.5/GCC 4.5, but could not find one (surprisingly to  
> me, I though I could found it on Debian or RedHat repository). I also had  
> a look at MinGW, but there is none (by the way, I've seen only binaries,  
> do not know where source have moved).
>
> Here is, if some one know a place for some ASIS source compatible with  
> GNAT 4.5/GCC 4.5…

Much easier to use the matching GNAT GPL 2010 from AdaCore!

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

[Yannick Duchêne (Hibou57)]

Le Fri, 05 Nov 2010 12:00:59 +0100, sjw <simon.j.wright@mac.com> a écrit:
> Much easier to use the matching GNAT GPL 2010 from AdaCore!

My self imposed restriction says “MinGW”. Think of it as a specification ;)

Unfortunately, there is no ASIS in the MinGW repository at sourceforge.net  
(or did I miss it ?)

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

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

[Ludovic Brenta]

Yannick Duchêne wrote on comp.lang.ada:
>> Much easier to use the matching GNAT GPL 2010 from AdaCore!
>
> My self imposed restriction says “MinGW”. Think of it as a specification ;)

If this "restriction" is because of the license of the run-time
library, be aware that ASIS is and has always been pure GPL, so it
might defeat your purpose.

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

--
Ludovic Brenta.

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

[Vadim Godunko]

On Nov 5, 11:41 am, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Hillou,
>
> I wanted to recompile ASIS because I needed an ASIS tool.

You can use Gela - compiler independent implementation of ASIS:

http://www.ten15.org/~maxr/gela-asis-0.3.tar.bz2

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

[Simon Wright]

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.

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

[Yannick Duchêne (Hibou57)]

Le Fri, 05 Nov 2010 18:13:18 +0100, Vadim Godunko <vgodunko@gmail.com> a  
écrit:

> On Nov 5, 11:41 am, Yannick Duchêne (Hibou57)
> <yannick_duch...@yahoo.fr> wrote:
>> Hillou,
>>
>> I wanted to recompile ASIS because I needed an ASIS tool.
>
> You can use Gela - compiler independent implementation of ASIS:
>
> http://www.ten15.org/~maxr/gela-asis-0.3.tar.bz2
Thanks to recall. I heard about it, and still not try.

I get it from SVN instead of the above archive. Seems it assumes either  
UNIX-like or Cygnwin to build (at least in “contrib” where I am now). Will  
try to see how this can be built for MinGW (for the time, build fails) and  
will send you comments. Are you part of the Team ?

Will also have to hope the standard GNAT ASIS tools does not rely on GNAT  
specific ASIS extensions (if there are some, I am not sure).

By the way, nice to see a BSD licensed project.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Yannick Duchêne (Hibou57)]

Le Fri, 05 Nov 2010 14:03:13 +0100, Ludovic Brenta  
<ludovic@ludovic-brenta.org> a écrit:
>> My self imposed restriction says “MinGW”. Think of it as a  
>> specification ;)
>
> If this "restriction" is because of the license of the run-time
> library, be aware that ASIS is and has always been pure GPL, so it
> might defeat your purpose.
It will defect nothing, because the usage does not care here (private use).

> 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
Thanks for all that valuable tips and links. Will have learned something  
when will have looked at it.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Yannick Duchêne (Hibou57)]

Le Sat, 06 Nov 2010 01:37:10 +0100, Simon Wright <simon@pushface.org> a  
écrit:
> 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.
Impressive. Did you study the whole GNAT source ? Will try this too.

Three very valuable answers. Was really the good place to ask this  
question.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Yannick Duchêne (Hibou57)]

Le Sat, 06 Nov 2010 01:37:10 +0100, Simon Wright <simon@pushface.org> a  
écrit:
> . replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]
These are the kind of files with which standard markups for outlining  
would help.

For the resulting ASIS, unfortunately, it failed.

A test with gnatpp:

    ==> transmitting, expected 65536 bytes, found length = 5
    raised PROGRAM_ERROR : Inconsistent versions of GNAT and ASIS

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Yannick Duchêne (Hibou57)]

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

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Ludovic Brenta]

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

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

[Yannick Duchêne (Hibou57)]

Le Fri, 05 Nov 2010 18:13:18 +0100, Vadim Godunko <vgodunko@gmail.com> a  
écrit:
> You can use Gela - compiler independent implementation of ASIS:
>
> http://www.ten15.org/~maxr/gela-asis-0.3.tar.bz2

Cannot build GNAT ASIS tools using Gela-ASIS. GNAT tools depends on some  
packages specific to ASIS-for-GNAT.

Never mind, I will keep this in hands to rebuild AdaLog's applications

P.S. It compile fines with MinGW, if you one the archive you pointed to.  
What's in the SVN adds many things else which is not needed for ASIS.

I feel it's great to have an ASIS independent of any compiler vendor. I  
would enjoy to learn more about Gela-ASIS's story (who, why, how, whose  
support, etc).

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Yannick Duchêne (Hibou57)]

Le Sat, 06 Nov 2010 06:28:16 +0100, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:
>> . replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]
> These are the kind of files with which standard markups for outlining  
> would help.
>
> For the resulting ASIS, unfortunately, it failed.
>
> A test with gnatpp:
>
>     ==> transmitting, expected 65536 bytes, found length = 5
>     raised PROGRAM_ERROR : Inconsistent versions of GNAT and ASIS

Erratum: that way to do works. I tried again when I felt to remember I  
forget to do “make tools install-tools” (so I simply tested with the tools  
produced by a previous test).

OK, finally, I have two working ASIS.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Simon Wright]

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Le Sat, 06 Nov 2010 01:37:10 +0100, Simon Wright <simon@pushface.org>
> a écrit:
>> 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.
> Impressive. Did you study the whole GNAT source ? Will try this too.

Thanks.

The gnatvsn changes were hinted at by Ludovic.

Without the sinfo read-across, the resulting program builds but crashes
with an assertion failure in sinfo.adb. Building ASIS for debug required
quite a few changes - the debug options effectively use the GNAT
development options which treat warnings, including style warnings, as
errors; and anyway for some reason GDB's 'break exception' didn't work,
I think this must be a Mac thing. Grr. Anyway, I realised that since
sinfo defines the tree structure which ASIS reads, having compatible
sinfo is vital.

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

[Simon Wright]

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Le Sat, 06 Nov 2010 06:28:16 +0100, Yannick Duchêne (Hibou57)
> <yannick_duchene@yahoo.fr> a écrit:
>>> . replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]
>> These are the kind of files with which standard markups for
>> outlining would help.
>>
>> For the resulting ASIS, unfortunately, it failed.
>>
>> A test with gnatpp:
>>
>>     ==> transmitting, expected 65536 bytes, found length = 5
>>     raised PROGRAM_ERROR : Inconsistent versions of GNAT and ASIS
>
> Erratum: that way to do works. I tried again when I felt to remember I
> forget to do “make tools install-tools” (so I simply tested with the
> tools  produced by a previous test).
>
> OK, finally, I have two working ASIS.

Good to hear it.

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

[Simon Wright]

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

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

Replacing asis-2009-src/gnat with a symlink to gcc-4.5.0/gcc/ada
certainly doesn't work! (of course, that wouldn't contain version.o).

See posting earlier today for an approach which worked for me.

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

[Yannick Duchêne (Hibou57)]

Le Fri, 05 Nov 2010 09:41:28 +0100, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:

The Makefile for ASIS from AdaCore, is missing a tiny thing: the clean  
target is incomplete.
It does not clean tool_utils, asistnt and xnamest.

In Makfile, replace this:

> clean-gnat%:
> 	gnat clean -Ptools/gnat$*/gnat$*
>
> clean: clean-gnatstub clean-gnatelim clean-gnatpp clean-gnatmetric  
> clean-gnatcheck
> 	gnat clean -Pasis_bld
>
> force:


With this:

> clean-gnat%:
> 	gnat clean -Ptools/gnat$*/gnat$*
>
> clean-asistant:
> 	gnat clean -Ptools/asistant/asistant
>
> clean-tool_utils:
> 	gnat clean -Ptools/tool_utils/tool_utils
> 	gnat clean -Ptools/tool_utils/asis_ul
>
> clean-xsnamest:
> 	gnat clean gnat/xsnamest
> 	# Don't work from mSys Shell in Windows (don't know why),
> 	# it doesn't delete anything.
>
> clean: clean-gnatstub clean-gnatelim clean-gnatpp clean-gnatmetric  
> clean-gnatcheck clean-asistant clean-tool_utils clean-xsnamest
> 	gnat clean -Pasis_bld
>
> force:


-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]

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

[Simon Wright]

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.