On 30 November 2010 16:24, Vincent Lefevre wrote: > On 2010-11-30 14:38:51 +0000, Jonathan Wakely wrote: >> On 30 November 2010 14:34, Vincent Lefevre wrote: >> > "make install" typically installs libraries in $prefix/lib, not >> > $prefix/lib64, so that the existence of lib64 doesn't make sense! >> >> Other distros handle x86/x86_64 differently to Debian. > > So, if I understand correctly, an official GCC version shouldn't > be used under Debian? > > Hasn't this been standardized? No, see the comments in gcc/config/i386/t-linux64 >From that file it appears that gcc should figure out for itself whether to use lib64/lib or lib64/lib32, so maybe Debian patch that file for their GCC package.
