[PPL-devel] [Fwd: ac_check_gmp.m4 in ppl]