gmp: add version 6.1.0

Signed-off-by: Freddie Chopin <freddie.chopin@gmail.com>
This commit is contained in:
Freddie Chopin 2015-12-07 15:00:00 +01:00
parent c92387e2a8
commit 0b435d61f8

View File

@ -6,6 +6,11 @@ choice
# Don't remove next line
# CT_INSERT_VERSION_BELOW
config GMP_V_6_1_0
bool
prompt "6.1.0"
select GMP_5_0_2_or_later
config GMP_V_6_0_0
bool
prompt "6.0.0a"
@ -52,6 +57,7 @@ config GMP_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
default "6.1.0" if GMP_V_6_1_0
default "6.0.0a" if GMP_V_6_0_0
default "5.1.3" if GMP_V_5_1_3
default "5.1.1" if GMP_V_5_1_1