diff -r 223c84ec2d90 -r 823ac8f8e9fd config/config.in
--- a/config/config.in	Sun Jul 01 19:04:20 2007 +0000
+++ b/config/config.in	Sat Jul 26 15:12:33 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