summaryrefslogtreecommitdiff
path: root/config/gmp_mpfr/gmp.in