1.1 --- a/config/companion_libs/mpfr.in Wed Dec 26 11:53:05 2012 +0100
1.2 +++ b/config/companion_libs/mpfr.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 MPFR_V_3_1_2
1.8 + bool
1.9 + prompt "3.1.2"
1.10 +
1.11 config MPFR_V_3_1_0
1.12 bool
1.13 prompt "3.1.0"
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 "3.1.2" if MPFR_V_3_1_2
1.19 default "3.1.0" if MPFR_V_3_1_0
1.20 default "3.0.1" if MPFR_V_3_0_1
1.21 default "3.0.0" if MPFR_V_3_0_0