configure: WARNING: gmp.h: present but cannot be compiled

[Rishi Sharma]

Dear developer,

 I was tring to install cloog but was having problems already at the ./configure stage. Google wasn't able to help me here (there were some instances of such problems with an old gcc, but my system gcc is fairly new.). Also, I couldn't get to the cloog discussion on googlegroups page, so I'm mailing you.

 Here's the snapshot of the problem when running 

$ ./configure --prefix=/home/rishi/local --with-gmp-prefix=/home/rishi/local --with-isl-prefix=/home/rishi/local

...

checking which isl to use... system
checking which gmp to use... system
checking gmp.h usability... no
checking gmp.h presence... yes
configure: WARNING: gmp.h: present but cannot be compiled
configure: WARNING: gmp.h:     check for missing prerequisite headers?
configure: WARNING: gmp.h: see the Autoconf documentation
configure: WARNING: gmp.h:     section "Present But Cannot Be Compiled"
configure: WARNING: gmp.h: proceeding with the compiler's result
configure: WARNING:     ## ------------------------------------------------- ##
configure: WARNING:     ## Report this to cloog-de...@googlegroups.com ##
configure: WARNING:     ## ------------------------------------------------- ##
checking for gmp.h... no
configure: error: Can't find gmp headers.

 Some other info.

$gcc --version
gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3

# Currently installed gcc

 gmp:

in /home/rishi/local

 libgmp.so.3.5.2

isl:

in /home/rishi/local

 libisl.so.10.1.1

cloog:

 cloog-0.18.0.

These are not the latest versions, but these are the recommended versions for gcc-4.8.1.

ftp://gcc.gnu.org/pub/gcc/infrastructure/

 I've attached the config.log.

 Any help will be useful. Thanks.

Rishi

[rishi....@gmail.com]

Some additional information.

   If I use gmp-5.1.3, I can install cloog-0.18.1 with isl-0.12 [latest
 versions] or cloog-0.18.0 with isl-0.11.1[one version older]. That is fine.

  But gcc-4.8.2 [the latest version] wants gmp-4.3.2 (I tried using gmp-5.1.3
 but it didn't work for gcc). If I use gmp-4.3.2 however, I cannot install
 cloog-0.18.0 with isl-0.11.1.

  According to gcc's instructions, I should use gmp-4.3.2, cloog-0.18.0, and
 isl-0.11.1, and I can't get this to work. Do you know if someone has managed to
 install this combination ever? (Someone must have, otherwise how can gcc ask for it.)

 For cloog-0.18.1 the requirement is gmp-5.0.2+. But for cloog-0.18.0 the requirement is
 gmp-4.1.4+, so what I'm trying should work in principle.

 I'm kind of stumped here.