diff -r c74132339c44 -r 39b1c755f19b config/gmp_mpfr/gmp.in
--- a/config/gmp_mpfr/gmp.in	Mon Jun 30 11:58:58 2008 +0000
+++ b/config/gmp_mpfr/gmp.in	Sun Apr 26 10:47:00 2009 +0000
@@ -8,6 +8,10 @@
     bool
     prompt "4.2.2"
 
+config GMP_V_4_2_4
+    bool
+    prompt "4.2.4"
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -15,6 +19,7 @@
 config GMP_VERSION
     string
     default "4.2.2" if GMP_V_4_2_2
+    default "4.2.4" if GMP_V_4_2_4
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!