Re: Distro with the best Ada development environment?

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

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),
gdb issues, and lo and behold, even a segfault when running
64bit Spark tools.  See also gcc:#39264, Ubuntu:#219342.


(gdb) file main
"/path/to/main": not in executable format: File format not recognized
$ file main
main: ELF 64-bit LSB executable, x86-64, version 1 (SYSV),
 for GNU/Linux 2.6.8, dynamically linked (uses shared libs),
 not stripped

Both, compiler (gcc-4.2) and Debugger announce to be targetting
x86_64... ``This GDB was configured as "x86_64-linux-gnu".''
Setting the architecture seems to have no effect.

The newer 8.10 has switched to GCC 4.3 and provides package gdb64,
but it doesn't mention Ada support.