[PPL-devel] PPL for Mac

[Roberto Bagnara]

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