[PPL-devel] install bug

[Roberto Bagnara]

Roberto Bagnara wrote:
> while you have a version of GMP installed on your system, this version
> has been built with the C++ interface enabled. 

Of course I meant _disabled_.
Sorry about that.
Cheers

      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