On 09/10/2014 12:28 PM, Marc Glisse wrote: > On Wed, 10 Sep 2014, Andrew Haley wrote: > >> You should just do what Debian do, and symlink lib and lib64. > > That's probably the simplest solution in this case, but note that Debian > does not do that. I have 4 distinct directories /lib, /lib64, /usr/lib and > /usr/lib64 here (the last one is almost empty) and no /usr/local/lib64. I think it depends on the Debian system in question. Debian certainly used to have a 64-bit system with libraries in /lib. Or maybe that was Ubuntu? Anyway, that's what they did. Andrew.
