[PPL-devel] Wrong check for GMP version fails with GMP5.0.0

Ciao,

__GMP_BITS_PER_MP_LIMB is used in configure of PPL0.10.2 but this does not exist in GMP5.0.0.

I used a kludge to force configure to accept it and make check seemed to report passes for all tests.

Yours sincerely, Little Nicholas Collin de Gloucester