Nope, same problem. My gmp-prefix is standard (/usr/local/lib) but I explicitly mentioned it anyway. Same error (cannot find right version of GMP). By the way, the ABI in my machine is 64-bit. Is that a problem?
On Sat, Sep 6, 2008 at 3:59 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
Swarat Chaudhuri wrote:
Dear Roberto (and everyone else), When I try to configure, it says it cannot find GMP version 4.1.3 or higher. However, I downloaded and installed libgmp-4.2.3. Just to make sure, I first removed the older copy of libgmp and reinstalled it.
My /usr/local/lib contains:
libgmp.3.4.3.dylib libgmp.3.dylib libgmp.a libgmp.dylib libgmp.la libgmpxx.4.0.3.dylib libgmpxx.4.dylib libgmpxx.a libgmpxx.dylib libgmpxx.la
The version of gcc I used to compile was (output of "gcc -v"):
"Target: i686-apple-darwin9 Configured with: /var/tmp/gcc/gcc-5484~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --with-arch=apple --with-tune=generic --host=i686-apple-darwin9 --target=i686-apple-darwin9 Thread model: posix gcc version 4.0.1 (Apple Inc. build 5484)"
What can be behind this?
I think the file README.configure provides the answer. If I am right, you need to use the
--with-libgmpxx-prefix=<GMP prefix>
configure option.
All the best,
Roberto
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it