diff options
Diffstat (limited to 'config/gmp_mpfr/mpfr.in')
-rw-r--r-- | config/gmp_mpfr/mpfr.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/gmp_mpfr/mpfr.in b/config/gmp_mpfr/mpfr.in index b033a9e..a54804c 100644 --- a/config/gmp_mpfr/mpfr.in +++ b/config/gmp_mpfr/mpfr.in @@ -8,6 +8,10 @@ config MPFR_V_2_3_1 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 @@ endchoice 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! |