mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-04-15 15:06:36 +00:00
companion_libs/gmp: pump gmp to version 6.0.0a
# HG changeset patch # User Daniel Zimmermann <netzimme@gmail.com> # Date 1402524592 -7200 # Thu Jun 12 00:09:52 2014 +0200 # Node ID 30c0a797946f66f89a9bace2995957e6910174e9 # Parent 99029fac116b6cdd86de7015379dd765af77c116 companion_libs/gmp: pump gmp to version 6.0.0a pump gmp to version 6.0.0a Signed-off-by: '"Daniel Zimmermann" <netzimme@gmail.com>' Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
This commit is contained in:
parent
b5e223d118
commit
60b5bc4c3e
@ -6,6 +6,10 @@ choice
|
||||
# Don't remove next line
|
||||
# CT_INSERT_VERSION_BELOW
|
||||
|
||||
config GMP_V_6_0_0
|
||||
bool
|
||||
prompt "6.0.0a"
|
||||
|
||||
config GMP_V_5_1_3
|
||||
bool
|
||||
prompt "5.1.3"
|
||||
@ -40,6 +44,7 @@ config GMP_VERSION
|
||||
string
|
||||
# Don't remove next line
|
||||
# CT_INSERT_VERSION_STRING_BELOW
|
||||
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
|
||||
default "5.0.2" if GMP_V_5_0_2
|
||||
|
Loading…
x
Reference in New Issue
Block a user