diff -r 223c84ec2d90 -r 1968d150a34f config/config.in
--- a/config/config.in	Sun Jul 01 19:04:20 2007 +0000
+++ b/config/config.in	Fri Jun 20 15:16:43 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