[Bug-gmp] installing MPFR with GMP 3.1

[Paul Zimmermann]

       Dear GMP developers,

we'd like to make a snapshot of MPFR, but we have problems installing 
our development version with GMP 3.1. In short, on a PC/Linux, when
running the MPFR "configure" (written by Emmanuel Jeandel):

   leibniz% ./configure --with-gmp=/users/polka/logiciels/gmp/linux-3.1
   loading cache ./config.cache
   checking for a BSD compatible install... (cached) /usr/bin/install -c
   checking whether build environment is sane... yes
   checking whether make sets ${MAKE}... (cached) yes
   checking for working aclocal... found
   checking for working autoconf... found
   checking for working automake... found
   checking for working autoheader... found
   checking for working makeinfo... found
   checking for gcc... (cached) gcc
   checking whether the C compiler (gcc  ) works... yes
   checking whether the C compiler (gcc  ) is a cross-compiler... no
   checking whether we are using GNU C... (cached) yes
   checking whether gcc accepts -g... (cached) yes
   checking for ranlib... (cached) ranlib
   checking OS type... Linux
   checking Mach type... i686
   checking for main in -lm... (cached) yes
   checking how to run the C preprocessor... (cached) gcc -E
   checking for /users/polka/logiciels/gmp/linux-3.1/include/gmp-impl.h... no
   configure: error: echo gmp-impl.h not found in 
/users/polka/logiciels/gmp/linux-3.1/include

however the file really exists:

   leibniz% ls -l /users/polka/logiciels/gmp/linux-3.1/include/gmp-impl.h
   -rw-rw-r--   1 zimmerma polka       36168 Aug 14 12:42 
/users/polka/logiciels/gmp/linux-3.1/include/gmp-impl.h

The "config.log" file reports a warning about a redefinition of PACKAGE and
VERSION (they are defined in confdefs.h for MPFR, and in config.h for GMP).

   leibniz% tail config.log 
   In file included from 
/users/polka/logiciels/gmp/linux-3.1/include/gmp-impl.h:26,
                    from configure:1472:
   /users/polka/logiciels/gmp/linux-3.1/include/config.h:109: warning: 
`PACKAGE' redefined
   confdefs.h:2: warning: this is the location of the previous definition
   /users/polka/logiciels/gmp/linux-3.1/include/config.h:139: warning: 
`VERSION' redefined
   confdefs.h:3: warning: this is the location of the previous definition
   configure: failed program was:
   #line 1471 "configure"
   #include "confdefs.h"
   #include </users/polka/logiciels/gmp/linux-3.1/include/gmp-impl.h>

If I remove config.h from /users/polka/logiciels/gmp/linux-3.1/include,
then it fails too:

   leibniz% tail config.log
   ...
   /users/polka/logiciels/gmp/linux-3.1/include/gmp-impl.h:26: config.h: No 
such file or directory
   ...

All this worked with GMP 3.0.1. Do you have any hint?

Paul