From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a81289725302b2f6
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: Distro with the best Ada development environment?
Followup-To: comp.lang.ada
Date: Fri, 17 Apr 2009 15:49:44 +0200
Message-ID: <74rfnoF152obcU1@mid.individual.net>
References: <_t8Fl.24641$Ws1.11326@nlpi064.nbdc.sbc.com>
 <gs363t$og2$1@ccpntc8.in2p3.fr>
 <14bfe62d-d121-4f44-8d05-7a542c3d008b@a7g2000yqk.googlegroups.com>
 <49e5a8e9$0$30232$9b4e6d93@newsspool1.arcor-online.net>
 <cacde80f-05d1-4cee-bae8-b9c31e0e0adf@o30g2000vbc.googlegroups.com>
 <49e782da$0$31871$9b4e6d93@newsspool3.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7Bit
X-Trace: individual.net 7TPRzsee79QWHQgp/ruvqwbBU27jSyQsjWfu9TODZ+anGJlGs=
Cancel-Lock: sha1:eNhffiLOo4F2jjBIwEtPA50oDgw=
User-Agent: KNode/0.99.01
Xref: g2news2.google.com comp.lang.ada:5486
Date: 2009-04-17T15:49:44+02:00
List-Id: <comp.lang.ada>

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.