diff -r c74132339c44 -r 7710d81d15e7 config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
+++ b/config/gmp_mpfr.in	Thu Jan 29 18:53:32 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