Re: Distro with the best Ada development environment?

["Alex R. Mosteo" <alejandro@mosteo.com>]

Georg Bauhaus wrote:

> Ludovic Brenta wrote:
>> On Apr 15, 11:29 am, Georg Bauhaus <rm.dash-bauh...@futureapps.de>
>> wrote:
>>> Ludovic Brenta schrieb:
>>>
>>>> Xavier Grave wrote on comp.lang.ada:
>>>>> To have a full list, just install a Debian or ask Ludovic Brenta who
>>>>> is responsible for Ada in Debian.
>>>> There is an overview of most Ada distributions in the Ada Programming
>>>> wikibook[1].  Indeed, I am responsible for most of Ada in Debian which
>>>> is TTBOMK the only distribution with a consistent policy for Ada.
>>> FYI, there are a few, uhm, instabilities in 64bit Debian-based
>>> installations (Ubuntu 8.04.2 LTS server, i.e. not Debian),
>> 
>> There have been reports of breakage in dependencies between Ada
>> packages on Ubuntu. As you say, Ubuntu is not Debian.
>> 
>>> gdb issues, and lo and behold, even a segfault when running
>>> 64bit Spark tools.  See also gcc:#39264, Ubuntu:#219342.
>> [...]
>> 
>> I'm curious to know whether or not these bugs also affect Debian 5.0.
>> Could you try it?
> 
> The spark program SEGFAULTs when run on Debian 5 AMD64 stable.
> I used valgrind to look into this and inspecting the output
> of valgrind made me think I should set a higher stack size limit.
> I did, and the symptom went away. (The default stack size is 8192.)

Did you use -fstack-check? Without it, it's normal to get violations instead 
of Storage_Error. Even with it, it's not 100% reliable.