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 <t...@gmplib.org> 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. > > > -- > Torbjörn > Please encrypt, key id 0xC8601622 > _______________________________________________ > gmp-bugs mailing list > gmp-bugs@gmplib.org > https://gmplib.org/mailman/listinfo/gmp-bugs > _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs