diff options
Diffstat (limited to 'config/gmp_mpfr/mpfr.in')
| -rw-r--r-- | config/gmp_mpfr/mpfr.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/gmp_mpfr/mpfr.in b/config/gmp_mpfr/mpfr.in index a54804c..00818b8 100644 --- a/config/gmp_mpfr/mpfr.in +++ b/config/gmp_mpfr/mpfr.in @@ -12,6 +12,11 @@ config MPFR_V_2_3_2 bool prompt "2.3.2" +config MPFR_V_2_4_0 + bool + prompt "2.4.0 (EXPERIMENTAL)" + depends on EXPERIMENTAL + # CT_INSERT_VERSION_ABOVE # Don't remove above line! endchoice @@ -20,6 +25,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 + default "2.4.0" if MPFR_V_2_4_0 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |