[PPL-devel] PPL for Mac

[Roberto Bagnara]

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/
mailto:bagnara at cs.unipr.it