[PPL-devel] Re: PPL

Dear Roberto,

You will thus have to build GMP by yourself, using a configure command like

/wherever/gmp-4.1.2/configure --prefix=/usr/local --enable-cxx

This was indeed the problem, now every thing compile !.

Thanks.

Samir