1.1 --- a/config/companion_libs/gmp.in Wed Jun 16 18:57:10 2010 +0200
1.2 +++ b/config/companion_libs/gmp.in Sun Jan 08 12:02:14 2012 +0100
1.3 @@ -6,6 +6,11 @@
1.4 # Don't remove next line
1.5 # CT_INSERT_VERSION_BELOW
1.6
1.7 +config GMP_V_5_0_2
1.8 + bool
1.9 + prompt "5.0.2 (EXPERIMENTAL)"
1.10 + depends on EXPERIMENTAL
1.11 +
1.12 config GMP_V_5_0_1
1.13 bool
1.14 prompt "5.0.1 (EXPERIMENTAL)"
1.15 @@ -39,6 +44,7 @@
1.16 string
1.17 # Don't remove next line
1.18 # CT_INSERT_VERSION_STRING_BELOW
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
1.22 default "4.3.1" if GMP_V_4_3_1