diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/companion_libs/gmp.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index 8c4496c..a968f5a 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -6,6 +6,11 @@ choice # Don't remove next line # CT_INSERT_VERSION_BELOW +config GMP_V_5_0_2 + bool + prompt "5.0.2 (EXPERIMENTAL)" + depends on EXPERIMENTAL + config GMP_V_5_0_1 bool prompt "5.0.1 (EXPERIMENTAL)" @@ -39,6 +44,7 @@ config GMP_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "5.0.2" if GMP_V_5_0_2 default "5.0.1" if GMP_V_5_0_1 default "4.3.2" if GMP_V_4_3_2 default "4.3.1" if GMP_V_4_3_1 |