diff -r c74132339c44 -r 74cbf60cf82f config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
+++ b/config/gmp_mpfr.in	Mon Oct 06 21:23:31 2008 +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