diff -r c74132339c44 -r 753c86c242fc config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
+++ b/config/gmp_mpfr.in	Fri Nov 21 06:39:52 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