diff options
Diffstat (limited to 'config/gmp_mpfr/gmp.in')
-rw-r--r-- | config/gmp_mpfr/gmp.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/gmp_mpfr/gmp.in b/config/gmp_mpfr/gmp.in index 21a8ee4..0ac2b2c 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! |