diff -r 25bd163c6886 -r 4714cf419e98 config/gmp_mpfr/mpfr.in
--- a/config/gmp_mpfr/mpfr.in	Sun Oct 05 12:32:42 2008 +0000
+++ b/config/gmp_mpfr/mpfr.in	Mon Feb 02 21:09:42 2009 +0000
@@ -12,6 +12,11 @@
     bool
     prompt "2.3.2"
 
+config MPFR_V_2_4_0
+    bool
+    prompt "2.4.0  (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -20,6 +25,7 @@
     string
     default "2.3.1" if MPFR_V_2_3_1
     default "2.3.2" if MPFR_V_2_3_2
+    default "2.4.0" if MPFR_V_2_4_0
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!