1.1 --- a/config/companion_libs/gmp.in Fri Apr 26 14:30:05 2013 +0200
1.2 +++ b/config/companion_libs/gmp.in Mon May 05 21:54:03 2014 +0200
1.3 @@ -6,6 +6,10 @@
1.4 # Don't remove next line
1.5 # CT_INSERT_VERSION_BELOW
1.6
1.7 +config GMP_V_5_1_3
1.8 + bool
1.9 + prompt "5.1.3"
1.10 +
1.11 config GMP_V_5_1_1
1.12 bool
1.13 prompt "5.1.1"
1.14 @@ -36,6 +40,7 @@
1.15 string
1.16 # Don't remove next line
1.17 # CT_INSERT_VERSION_STRING_BELOW
1.18 + default "5.1.3" if GMP_V_5_1_3
1.19 default "5.1.1" if GMP_V_5_1_1
1.20 default "5.0.2" if GMP_V_5_0_2
1.21 default "5.0.1" if GMP_V_5_0_1