(gmp-4.2.4) configure --includedir option only works partially

[Vincent Lefevre]

On 2009-03-23 20:13:59 +0100, Niels Thykier wrote:
> When using gmp-4.2.4's configure like this
>   ./configure --prefix=$PREFIX_DIR --includedir=$INCLUDE_DIR
> on a x86_64 linux red-hat, then gmp.h will end in "$PREFIX_DIR/include"  
> and not "$INCLUDE_DIR/" when running "make install".

This is not necessarily a bug: gmp.h is arch-dependent, thus is not
affected by --includedir, which is arch-independent (PREFIX/include
by default). But perhaps if EPREFIX = PREFIX, gmp.h should go to the
directory specified by --includedir.

-- 
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)