diff options
| author |   Daniel Zimmermann <netzimme@gmail.com> | 2014-06-11 22:09:54 (GMT) |
|---|---|---|
| committer |   Bryan Hundven <bryanhundven@gmail.com> | 2014-12-05 10:57:00 (GMT) |
| commit | 60b5bc4c3ec5505edccbbfb03d5bdfae66be0054 (patch) | |
| tree | c7bcd676e200e44500b29ff832f3a001ffd2e1ed /config/companion_libs/gmp.in | |
| parent | b5e223d1186d9a58b05e2fadac019e9d5ca22bb5 (diff) | |
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>
Diffstat (limited to 'config/companion_libs/gmp.in')
| -rw-r--r-- | config/companion_libs/gmp.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index 3e7db6e..386caff 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -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 |