On 11/30/2010 04:24 PM, 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? Yes: it's part of the psABI. Debian decided not to follow it, and presumably they have a patched gcc. "A.1 Execution of 32-bit Programs The AMD64 processors are able to execute 64-bit AMD64 and also 32-bit ia32 programs. Libraries conforming to the Intel386 ABI will live in the normal places like /lib, /usr/lib and /usr/bin. Libraries following the AMD64, will use lib64 subdirectories for the libraries, e.g /lib64 and /usr/lib64. Programs conforming to Intel386 ABI and to the AMD64 ABI will share directories like /usr/bin. In particular, there will be no /bin64 directory." www.x86-64.org/documentation/abi.pdf Andrew.
