diff options
| -rw-r--r-- | config/gmp_mpfr/gmp.in | 5 | ||||
| -rw-r--r-- | config/gmp_mpfr/mpfr.in | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/config/gmp_mpfr/gmp.in b/config/gmp_mpfr/gmp.in index 21a8ee4d..0ac2b2c0 100644 --- a/config/gmp_mpfr/gmp.in +++ b/config/gmp_mpfr/gmp.in @@ -8,6 +8,10 @@ config GMP_V_4_2_2 bool prompt "4.2.2" +config GMP_V_4_2_4 + bool + prompt "4.2.4" + # CT_INSERT_VERSION_ABOVE # Don't remove above line! endchoice @@ -15,6 +19,7 @@ endchoice config GMP_VERSION string default "4.2.2" if GMP_V_4_2_2 + default "4.2.4" if GMP_V_4_2_4 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! diff --git a/config/gmp_mpfr/mpfr.in b/config/gmp_mpfr/mpfr.in index b033a9ee..a54804c5 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! |