[PPL-devel] PPL for Mac

[Swarat Chaudhuri]

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