Configure error in gmp 5.0.5 pertaining to directories
tg at gmplib.org
Tue Nov 13 15:15:31 CET 2012
Torbjorn Granlund <tg at gmplib.org> writes:
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
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.
Thanks for the offer! We would indeed appreciate help with this.
It turns out that that GMP ignores --includedir is intensional. It is
mentioned in the top-level Makefile.am. The reason is that gmp.h is
We use includeexecdir internally, which is $(exec_prefix)/include.
The other options like --infodir and --libdir are honoured as usually.
To conclude: Intensional behaviour, no bug.
More information about the gmp-bugs