[PPL-devel] ppl configure error
Roberto Bagnara
bagnara at cs.unipr.it
Thu Oct 20 08:19:14 CEST 2011
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
More information about the PPL-devel
mailing list