{
# When PPL is cross-compiled, it does not check whether GMP was compiled
# with support for exceptions, and simply assumes it was not. This
{
# When PPL is cross-compiled, it does not check whether GMP was compiled
# with support for exceptions, and simply assumes it was not. This