diff -r 223c84ec2d90 -r 7f65fde1eb5b config/config.in
--- a/config/config.in	Sun Jul 01 19:04:20 2007 +0000
+++ b/config/config.in	Mon Sep 01 09:15:31 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