diff -r dfadefc288c1 -r 366bd2b22675 config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Sun Jan 31 12:28:52 2010 +0100
+++ b/config/companion_libs/mpfr.in	Thu Aug 05 17:59:51 2010 +0200
@@ -6,6 +6,10 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config MPFR_V_3_0_0
+    bool
+    prompt "3.0.0"
+
 config MPFR_V_2_4_2
     bool
     prompt "2.4.2"
@@ -34,6 +38,7 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "3.0.0" if MPFR_V_3_0_0
     default "2.4.2" if MPFR_V_2_4_2
     default "2.4.1" if MPFR_V_2_4_1
     default "2.4.0" if MPFR_V_2_4_0