[PPL-devel] PPL for Mac

[Swarat Chaudhuri]

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?

Thanks in advance,
-Swarat








On Sat, Sep 6, 2008 at 2:21 PM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:

> Swarat Chaudhuri wrote:
>
>> Hello all,
>> Has anyone here built PPL on Mac OS X? If so, can it be made available for
>> download? I tried to compile PPL on Mac but ran into strange errors
>> involving GMP.
>>
>> Thanks in advance,
>> Swarat
>>
>
> Dear Swarat,
>
> if you look at the mailing list archives, you will see some messages
> recently posted from people who use the PPL under Mac OS X.  If you
> can post here more details about the strange errors you ran into,
> perhaps we can be of help.
> 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
>