[PPL-devel] configure fails...

[Roberto Bagnara]

Tovrea, George W (US SSA) wrote:
> tovrea at rockwell%ls /home/users/tovrea/local/sgi/include
> gmp.h       gmpxx.h     mpf2mpfr.h  mpfr.h
> 
> config.log attached.

 From config.log I see that you are using GCC 3.0.4.
In order to compile the PPL you need at least GCC 4.0.3.
All the best,

    Roberto

P.S. Note that 3.0.4 is not even able to compile the
      C++ interface of GMP, this is why configure fails.

> -----Original Message-----
> From: Roberto Bagnara [mailto:bagnara at cs.unipr.it] 
> Sent: Wednesday, July 29, 2009 12:51 PM
> To: Tovrea, George W (US SSA)
> Cc: ppl-devel at cs.unipr.it
> Subject: Re: [PPL-devel] configure fails...
> 
> Tovrea, George W (US SSA) wrote:
>> System: IRIX64 rockwell 6.5 10151453 IP35
>>
>> Using gmp-4.3.1
>>
>> Configure command:
>>
>> ../configure \
>>     --prefix=${HOME}/local/sgi \
>>     --with-libgmp-prefix=${HOME}/local/sgi \
>>     --with-libgmpxx-prefix=${HOME}/local/sgi
>>
>> Configure output:
>>
>> checking how to link with libgmp...
>> /home/users/tovrea/local/sgi/lib/libgmp.so -Wl,-rpath
>> -Wl,/home/users/tovrea/local/sgi/lib
>>
>> checking how to link with libgmpxx...
>> /home/users/tovrea/local/sgi/lib/libgmpxx.so
>> /home/users/tovrea/local/sgi/lib/libgmp.so -Wl,-rpath
>> -Wl,/home/users/tovrea/local/sgi/lib -Wl,-rpath
>> -Wl,/home/users/tovrea/local/sgi/lib
>>
>> checking for the GMP library version 4.1.3 or above... no
>>
>> configure: error: Cannot find GMP version 4.1.3 or higher.
>>
>>
>> Even though
>>
>> tovrea at rockwell%tail /home/users/tovrea/local/sgi/include/gmp.h
>> #define __GMP_CC "gcc"
>> #define __GMP_CFLAGS "-O2 -mabi=n32"
>>
>> /* Major version number is the value of __GNU_MP__ too, above and in
>> mp.h. */
>> #define __GNU_MP_VERSION 4
>> #define __GNU_MP_VERSION_MINOR 3
>> #define __GNU_MP_VERSION_PATCHLEVEL 1
> 
> Hi Bill,
> 
> is the header file of GMP's C++ interface (gmpxx.h) in its place?
> If so, can you please send the config.log file created by configure?
> All the best,
> 
>     Roberto
> 


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it