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.
-- Marc Glisse
