diff -r c74132339c44 -r 3448ac3f1a5d config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
+++ b/config/gmp_mpfr.in	Mon Apr 20 21:10:03 2009 +0000
@@ -20,6 +20,7 @@
     bool
     prompt "Build libraries for the target"
     depends on GMP_MPFR
+    depends on ! BARE_METAL
     default n
     help
       Also build libraries for the target. This can be usefull if you want