GMP 6.2 error

[Vincent Lefevre]

On 2020-04-01 09:45:18 -0400, Dennis Clarke wrote:
> On 2020-03-30 16:57, Torbjörn Granlund wrote:
> > rodriguez-murias <rodriguez-murias at ill.fr> 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 might want to grab a book on Unix and read the first few chapters.
> > 
> > 
> 
> Oh that was brutal and funny. We all need a laugh these days.
> 
> Perhaps better to suggest to the guy :
> 
>     ls -lad /usr/local /usr/local/share
> 
> Then that will give him a hint.
> 
> Thanks for the laugh :)

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

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)