diff -r c74132339c44 -r 25bd163c6886 config/gmp_mpfr/mpfr.in --- a/config/gmp_mpfr/mpfr.in Mon Jun 30 11:58:58 2008 +0000 +++ b/config/gmp_mpfr/mpfr.in Sun Oct 05 12:32:42 2008 +0000 @@ -8,6 +8,10 @@ bool prompt "2.3.1" +config MPFR_V_2_3_2 + bool + prompt "2.3.2" + # CT_INSERT_VERSION_ABOVE # Don't remove above line! endchoice @@ -15,6 +19,7 @@ config MPFR_VERSION string default "2.3.1" if MPFR_V_2_3_1 + default "2.3.2" if MPFR_V_2_3_2 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line!