[PPL-devel] Fwd: RE: Re: ppl configure error

[Roberto Bagnara]

-------- Original Message --------
Subject: RE: Re: [PPL-devel] ppl configure error
Date: Thu, 20 Oct 2011 12:15:43 +0000
From: Li, Hui <lihui at imail.iu.edu>
To: Roberto Bagnara <bagnara at 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 at 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 at cs.unipr.it>
Organization: Department of Mathematics, University of Parma, Italy
To: ppl-devel at 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 at cs.unipr.it