diff options
| author | danielrubiob <danielrubiob@gmail.com> | 2014-02-09 22:23:59 +0100 |
|---|---|---|
| committer | danielrubiob <danielrubiob@gmail.com> | 2014-02-09 22:23:59 +0100 |
| commit | 9b2d5df2cc85dfe5a1a1f2d145dbdb7ca1571298 (patch) | |
| tree | f5cc7e09a9637340ffe58c9e43919a96d8499854 | |
| parent | c214367d3afa641a1d63ae300dc4146c5ecf2f22 (diff) | |
| download | crosstool-ng-9b2d5df2cc85dfe5a1a1f2d145dbdb7ca1571298.tar.gz crosstool-ng-9b2d5df2cc85dfe5a1a1f2d145dbdb7ca1571298.tar.bz2 crosstool-ng-9b2d5df2cc85dfe5a1a1f2d145dbdb7ca1571298.zip | |
complibs/gmp: bump version
Signed-off-by: Daniel Rubio Bonilla <danielrubiob@gmail.com>
Message-Id: <e0361ed37146d025171f.1391984021@uemo>
Patchwork-Id: 318635
| -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 dd0a27ce..3e7db6e7 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_5_1_3 + bool + prompt "5.1.3" + config GMP_V_5_1_1 bool prompt "5.1.1" @@ -36,6 +40,7 @@ config GMP_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + 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 default "5.0.1" if GMP_V_5_0_1 |