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? -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)