[PPL-devel] PPL for Mac

[Roberto Bagnara]

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 at cs.unipr.it