diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-08-30 17:38:10 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-08-30 17:38:10 (GMT) |
commit | afc8a7bd590d0442dab7f2ee145300e1cdbbfdad (patch) | |
tree | 62eeb13d00b2bdf9e885777aa4b8190408038a10 /config/companion_libs | |
parent | 6c62da480344df2ee105f29499dcf06a2acc2c7d (diff) |
complibs/gmp: bump version
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'config/companion_libs')
-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 |