strange install directory

[Paul Zimmermann]

       Hi,

on the gcc118 machine from the gcc compile farm, with gmp-6.2.1, make install
puts the libgmp.{a,so} files in $PREFIX/lib64 instead of $PREFIX/lib. Is there
any reason for that?

This non-standard install directory is a problem, since when configuring MPFR
(for example) with --with-gmp=$PREFIX, the MPFR configuration fails, since it
does not find the libgmp.{a,so} files. And I guess many software tools rely
on this --with-gmp=$PREFIX mechanism.

Paul