Problem with make install

Pedro Gimeno parigalo at formauri.es
Thu Mar 3 11:24:47 CET 2011


John Harper wrote:

> The instructions then said to install (under `/usr/local' by default)
> with make install. As I don't have root access I tried what I thought
> the instructions then say, using --prefix, but I got the result below:
> 
> rimu[~/gmp-4.3.2]$ make install --prefix=/home/harperj1/gmp-4.3.2

--prefix is a parameter for configure, not for make:

$ ./configure --prefix=/home/harperj1/gmp-4.3.2 [rest of options if any]
$ make
$ make check
$ make install

-- Pedro Gimeno


More information about the gmp-discuss mailing list