QUOTE : "The test suite for GMP is considered critical.
Do not skip it under any circumstance."
Were the gmp tests OK ? ( make check ).
'ppl-0.10.2' depends on gmp only. ( Except for the java stuff.)
You can testcompile ppl on your host ...
.. and find that failing with it is difficult.