[PPL-devel] PPL for Mac

[Swarat Chaudhuri]

Hi Roberto (and others),

I thought I would post this for the benefit of others who might try to build
PPL on Mac OS X. It is impossible to build gmp from source on Macs using the
gcc that Apple ships. However, there is a Macports version of gmp (see
http://www.macports.org/ports.php?by=name&substr=gmp). To get the C++
interface you have to install another package (gmp-cxx-wrappers). With
these, it is possible to build PPL.

Thanks,Swarat


On Mon, Sep 8, 2008 at 2:38 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:

> Swarat Chaudhuri wrote:
>
>> By the way, as it happens, this is what GNU MP's webpage says:
>> "[2006-05-04] GMP does not build on MacInteltosh machines. We've been told
>> that the main problem is a serious Apple linker bug that Apple hasn't
>> fixed
>> for several years. There are ugly GMP workarounds floating around the net
>> that we will not apply to GMP."
>>
>
> Are you sure Apple does not provide precompiled packages for GMP?
> All the best,
>
>
>   Roberto
>
> --
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/ <http://www.cs.unipr.it/%7Ebagnara/>
> mailto:bagnara at cs.unipr.it
>