Re: GMP 6.2 error

[Niels Möller]

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, 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.
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Re: 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  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  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Re: GMP 6.2 error

[Dennis Clarke]

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 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 :)


--
Dennis Clarke
RISC-V/SPARC/PPC/ARM/CISC
UNIX and Linux spoken
GreyBeard and suspenders optional
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs