On 2020-04-01 09:45:18 -0400, Dennis Clarke wrote: > On 2020-03-30 16:57, Torbjörn Granlund wrote: > > rodriguez-murias <rodriguez-mur...@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 <vinc...@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) _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs
