GMP 6.2 error

[Niels Möller]

Vincent Lefevre <vincent at vinc17.net> writes:

> Seriously, I think that the default prefix is non-sense. But this is
> not a GMP issue either, rather an autoconf issue.

Consistency is nice too. I think it's old tradition to allow trusted
non-root users to install things under /usr/local. E.g., on Debian
GNU/Linux, if you're a member of the group "staff", you have sufficient
permissions for a default

  ./configure && make && make check && make install

install of gmp, or any other GNU package. As well as many non-GNU
packages, even some not using autoconf. And that's still how I install
more or less everything that I install from sources rather than from
binary packages.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.