[PPL-devel] PPL for Mac

[Roberto Bagnara]

Swarat Chaudhuri wrote:
> 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?

It shouldn't be.  Please send me the generated config.log file.
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