diff -r 223c84ec2d90 -r 33c246763c8a config/config.in
--- a/config/config.in	Sun Jul 01 19:04:20 2007 +0000
+++ b/config/config.in	Sat Jul 26 09:31:07 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