Configure error in gmp 5.0.5 pertaining to directories

Sega Loco segaloco at
Tue Nov 13 01:12:52 CET 2012

I've successfully configured, built, and installed gmp 5.0.5 but with one
problem. I've found that whatever I set PREFIX to, the configure did not
override that setting when I passed specific options such as --includedir
or --datarootdir even though they are listed when configure --help is run.
Here is the specific command I ran "./configure --prefix=/mnt/linux
--includedir=/mnt/linux/usr/include --datarootdir=/mnt/linux/usr/share
CFLAGS="-O2 -pipe -march=native" yet everything, including the include and
share directories were installed in /mnt/linux whereas in all other
packages I've built so far they were placed in /mnt/linux/usr as I defined
there. I'll also be including config.log as is suggested on the bug
reporting page. Thank you for any action taken. I'm not too knowledgeable
about the Autotools configure system but I can try to take a look at it
myself and submit a patch if nobody is able to work with this.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.tar.gz
Type: application/x-gzip
Size: 35134 bytes
Desc: not available
URL: <>

More information about the gmp-bugs mailing list