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