Configure error in gmp 5.0.5 pertaining to directories

[Torbjorn Granlund]

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
    --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.
    
  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
host dependent.

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.

-- 
Torbjörn