Vincent Lefevre 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,
On 2020-04-01 09:45:18 -0400, Dennis Clarke wrote:
> On 2020-03-30 16:57, Torbjörn Granlund wrote:
> > rodriguez-murias writes:
> >
> >When i make install :
> >
> >/usr/bin/mkdir: cannot create directory ‘/usr/local/share/info’:
> > Permission denied
> >
> > The inability to write
On 2020-03-30 16:57, Torbjörn Granlund wrote:
rodriguez-murias writes:
When i make install :
/usr/bin/mkdir: cannot create directory ‘/usr/local/share/info’: Permission
denied
The inability to write into system directories as a non-root user is not
due to a problem with GMP.
You
