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@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@cs.unipr.it