1.1 --- a/config/companion_libs/gmp.in Wed Dec 26 11:53:05 2012 +0100
1.2 +++ b/config/companion_libs/gmp.in Thu Jan 16 14:55:23 2014 -0800
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_1
1.8 + bool
1.9 + prompt "5.1.1"
1.10 +
1.11 config GMP_V_5_0_2
1.12 bool
1.13 prompt "5.0.2"
1.14 @@ -32,6 +36,7 @@
1.15 string
1.16 # Don't remove next line
1.17 # CT_INSERT_VERSION_STRING_BELOW
1.18 + default "5.1.1" if GMP_V_5_1_1
1.19 default "5.0.2" if GMP_V_5_0_2
1.20 default "5.0.1" if GMP_V_5_0_1
1.21 default "4.3.2" if GMP_V_4_3_2