-------- Original Message -------- Subject: RE: Re: [PPL-devel] ppl configure error Date: Thu, 20 Oct 2011 12:15:43 +0000 From: Li, Hui lihui@imail.iu.edu To: Roberto Bagnara bagnara@cs.unipr.it
Hello Prof. Bagnara,
The problem has been fixed after set up LD_LIBRARY_PATH.
We are going to rebuild gcc_trunck to run lapack code which requires PPL lib. Thank you for the time and help.
Hui ________________________________________ From: Roberto Bagnara [bagnara@cs.unipr.it] Sent: Thursday, October 20, 2011 01:35 AM To: Li, Hui Subject: Fwd: Re: [PPL-devel] ppl configure error
-------- Original Message -------- Subject: Re: [PPL-devel] ppl configure error Date: Thu, 20 Oct 2011 08:19:14 +0200 From: Roberto Bagnara bagnara@cs.unipr.it Organization: Department of Mathematics, University of Parma, Italy To: ppl-devel@cs.unipr.it
On 10/20/2011 05:59 AM, Li, Hui wrote:
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?
Hi Hui,
I don't see any problem involving ieeefp.h in your config.log. The problem could be that you have installed GMP in a non-standard place without instructing your dynamic linker/loader about where to find it. See `man ld.so' for more details. I guess that something like
export LD_LIBRARY_PATH=/N/u/lihui/Quarry/gmp_install/lib:$LD_LIBRARY_PATH
or
export LD_LIBRARY_PATH=/N/u/lihui/Quarry/gmp_install/lib64:$LD_LIBRARY_PATH
should work. Success,
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