Re: [Announcement] New Project: ASIS for GNAT

[Martin Krischik <krischik@users.sourceforge.net>]

Jeff C, wrote:

> 
> "Martin Krischik" <krischik@users.sourceforge.net> wrote in message
> news:1252369.os30E2mMWi@linux1.krischik.com...
>> Hello,
>>
>> I like to announce the beginning of a new Project.
>>
>> The Project amis to provide an up to date implementations of ASIS = Ada
>> Semantic Interface Specification for GNAT based on gcc 3.5. The currently
>> available open source ASIS implementation is for GNAT on gcc 2.8.1.
>>
>> The Project is located at sourceforge:
>>
>> http://sourceforge.net/projects/gnat-asis/
>>
>> Current experinental versions are available via cvs.
>>
> 
> Hmm..Might be nice to target gcc 3.4 since although it looks promising, I
> am not sure that
> GNAT will be released in gcc 3.5 (which is currently targeted for
> tree-ssa)..

You think they will remove gnat from gcc?

> This is nice to have since ACT has not provided up to date public releases
> since 3.15. Perhaps this will
> entice them to release one at http://libre.act-europe.fr

It is not to difficult. All you have to do is update gnat subdirectory with
a current version from the original gcc sources and switch -gnatwe off. 

Of cource I would like for a more automated approach.

> I suspect part of the reason for the hold off is that the FSF releases
> containing Ada have been generally more
> broken than 3.15.

True, but I think with gcc 3.5 we might be almost there. I have made good
experiences with my snapshot compile.

> Gcc 3.4 was looking like it might actually be a pretty good release for
> GNAT... I have not checked
> back recently on progress.

I have tried both gcc 3.4 and gcc 3.5. Strangely a compile from the gcc 3.4
branch does not create all the gnat file:

/work/gnu_3.4/x86_64-suse-linux-gnu  Linux  martin@linux2  Fr Mï¿œr 12
19:27:10  standart
>la gcc/*gnat*
-rwxrwxr-x+   1 martin   users         12M 2004-03-08 12:08 gcc/gnat1*
-rwxrwxr-x+   1 martin   users        1,9M 2004-03-08 12:08 gcc/gnatbind*
/work/gnu_3.4/x86_64-suse-linux-gnu  Linux  martin@linux2  Fr Mï¿œr 12
19:27:17  standart
>

Does not look very good, does it? The main branch, which should be
"instable" provides:

/work/gnu_3.5/x86_64-suse-linux-gnu  Linux  martin@linux2  Fr Mï¿œr 12
19:28:46  standart
>la gcc/*gnat*
-rwxrwxr-x+   1 martin   users        2,3M 2004-03-07 18:40 gcc/gnat*
-rwxrwxr-x+   1 martin   users         13M 2004-03-08 10:42 gcc/gnat1*
-rwxrwxr-x+   1 martin   users        1,9M 2004-03-08 10:42 gcc/gnatbind*
-rwxrwxr-x+   1 martin   users         58K 2004-03-08 10:46 gcc/gnatbl*
-rwxrwxr-x+   1 martin   users        843K 2004-03-07 18:40 gcc/gnatchop*
-rwxrwxr-x+   1 martin   users        2,3M 2004-03-07 18:41 gcc/gnatclean*
-rwxrwxr-x+   1 martin   users        1,3M 2004-03-07 18:40 gcc/gnatfind*
-rwxrwxr-x+   1 martin   users        386K 2004-03-07 18:40 gcc/gnatkr*
-rwxrwxr-x+   1 martin   users        928K 2004-03-08 10:46 gcc/gnatlink*
-rwxrwxr-x+   1 martin   users        2,1M 2004-03-07 18:40 gcc/gnatls*
-rwxrwxr-x+   1 martin   users        3,6M 2004-03-08 10:46 gcc/gnatmake*
-rwxrwxr-x+   1 martin   users        2,2M 2004-03-07 18:41 gcc/gnatname*
-rwxrwxr-x+   1 martin   users        1,6M 2004-03-07 18:40 gcc/gnatprep*
-rwxrwxr-x+   1 martin   users        1,3M 2004-03-07 18:40 gcc/gnatxref*
-rw-rw-r--+   1 martin   users           0 2004-03-08 10:46 gcc
stamp-gnatlib
-rw-rw-r--+   1 martin   users           0 2004-03-08 10:44 gcc
stamp-gnatlib1
-rw-rw-r--+   1 martin   users           0 2004-03-08 10:44 gcc
stamp-gnatlib2
/work/gnu_3.5/x86_64-suse-linux-gnu  Linux  martin@linux2  Fr Mï¿œr 12
19:28:49  standart
>

Better, isn't it.

> Anyone run the test suite recently on any popular targets and want to
> report results?

With Regards

Martin

--  
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com