diff -r 223c84ec2d90 -r 37968404e9b9 config/config.in
--- a/config/config.in	Sun Jul 01 19:04:20 2007 +0000
+++ b/config/config.in	Fri Jul 25 14:08:03 2008 +0000
@@ -2,6 +2,7 @@
 source config/target.in
 source config/toolchain.in
 source config/kernel.in
+source config/gmp_mpfr.in
 source config/binutils.in
 source config/cc.in
 source config/libc.in