Most likely you need to use the command
sudo make install
and you will be prompted to type in the password for "root" (also known as
the "superuser" or "administrator") -- "sudo" stands for "superuser do".
As it is, you probably do not have permission to create the directory
because you are NOT
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
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
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
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 fe
Good morning,
I am a PhD student and i am trying to install the GMP library. I run
everything smoothly until the make install command where the following
error appears:
When i make install :
/usr/bin/mkdir: cannot create directory ‘/usr/local/share/info’:
Permission denied
make[3]: *** [M
