[PPL-devel] ppl configure error

[Li, Hui]

Hello Prof. Bagnara,

Yes, the gmpxx.h exist. And after prepending CPPFLAGS=-I/N/u/lihui/Quarry/gmp_install/include, the "gmpxx.h file not find" error fixed.
But it still throw out error says "ieeefp.h: No such file or directory". Here is the new config.log in the attachment. 

There is math.h in: 
/usr/include/math.h
/usr/lib/x86_64-redhat-linux3E/include/math.h

But there is no ieeefp.h found in above system include directory. 

Should I do some other configuration?

Thanks&Regards,

________________________________________
From: Roberto Bagnara [bagnara at cs.unipr.it]
Sent: Wednesday, October 19, 2011 01:44 PM
To: The Parma Polyhedra Library developers' list
Cc: Li, Hui
Subject: Re: [PPL-devel] ppl configure error

On 10/19/2011 04:27 PM, Li, Hui wrote:
> I got several error in the configure stage for the ppl-0.11.2.
>
> Here is the config.login the attachment.
>
> And the configure options:
>
> ./configure --prefix=/N/u/lihui/ppl_install--exec-prefix=/N/u/lihui/ppl_install--with-gmp=/N/u/lihui/gmp_install
>
> the gmpwas compiled with enable-cxx
>
> The system information:
>
> Red Hat Enterprise Linux AS release 4 (Nahant Update 9)
>
> Linux b0012.6.9_78.0.22.EL_lustre.1.6.7.2_custom#6 SMPMon Nov 9 14:28:25 EST 2009 x86_64x86_64x86_64GNU/Linux
>
>
> Could you please tell what's the problem? I've search many pages but didn't get right solution, and any suggestion will be appreciated.

Hello Hui,

does the file /N/u/lihui/Quarry/gmp_install/include/gmpxx.h exist?
If so, please prepend CPPFLAGS=-I/N/u/lihui/Quarry/gmp_install/include
and try again.  Please let us know if this works for you.
Best regards,

    Roberto

--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 142026 bytes
Desc: config.log
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20111020/c7e6383e/attachment.obj>