[PATCH 2 of 4] Updated GMP library
Daniel Rubio Bonilla
danielrubiob@gmail.com
Sun Feb 9 22:20:00 GMT 2014
# HG changeset patch
# User danielrubiob@gmail.com
# Date 1391981039 -3600
# Sun Feb 09 22:23:59 2014 +0100
# Node ID e0361ed37146d025171ffd55a3e9f6a8a0a653c6
# Parent 08addb73e684d5e36f22468918f7ae08c0a9060c
Updated GMP library
Signed-off-by: Daniel Rubio Bonilla <danielrubiob@gmail.com>
diff -r 08addb73e684 -r e0361ed37146 config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in Sun Feb 09 22:21:15 2014 +0100
+++ b/config/companion_libs/gmp.in Sun Feb 09 22:23:59 2014 +0100
@@ -6,6 +6,10 @@
# 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 @@
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
--
For unsubscribe information see http://sourceware.org/lists.html#faq
More information about the crossgcc
mailing list