GMP 6.2 error

[William Galway]

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 a superuser (administrator, root).  If you do not know
the password then you should get an administrator for your system to help
you.

-- Regards, Will


On Mon, Mar 30, 2020 at 4:57 PM Torbjörn Granlund <tg at gmplib.org> 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.
>
>
> --
> Torbjörn
> Please encrypt, key id 0xC8601622
> _______________________________________________
> gmp-bugs mailing list
> gmp-bugs at gmplib.org
> https://gmplib.org/mailman/listinfo/gmp-bugs
>