Bug#289566: Gnat...

[Ludovic Brenta <ludovic.brenta@insalien.org>]

Alex, I have no clue what is happening on your system.  Nobody else
than your friends appear to have that problem.  One thing I'm sure of
is that the package `gnat' is not at fault.  If the problem is still
there, could you please try this:

$ which gcc
$ `which gcc` -v
$ /usr/bin/gcc-3.3 -v
$ which gnatgcc
$ `which gnatgcc` -v
$ /usr/bin/gnatgcc -v
$ alias

The Makefiles used during compilation of linux appear to use some
`gcc' command which is not /usr/bin/gcc-3.3 as it should.  I'm trying
to understand what exactly is happening.  Also, you could try to
compile linux with CC=/usr/bin/gcc-3.3.

BTW, the symlink /usr/bin/gcc is provided by the package `gcc', which
is a dependency package providing the default GCC compiler, currently
gcc-3.3.  You should not have to modify this symlink, or any other
symlink under /usr/bin or /usr/lib.

-- 
Ludovic Brenta.