Bump GMP version to 6.1.2

Signed-off-by: Alastair D'Silva <alastair@d-silva.org>
This commit is contained in:
Alastair D'Silva 2016-12-24 08:21:48 +11:00
parent 5f5463053a
commit 3c981f9dc5

View File

@ -6,6 +6,11 @@ choice
# Don't remove next line
# CT_INSERT_VERSION_BELOW
config GMP_V_6_1_2
bool
prompt "6.1.2"
select GMP_5_0_2_or_later
config GMP_V_6_1_0
bool
prompt "6.1.0"
@ -57,6 +62,7 @@ config GMP_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
default "6.1.2" if GMP_V_6_1_2
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