diff -r c74132339c44 -r e17f6a5edbfc config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
+++ b/config/gmp_mpfr.in	Tue Nov 18 10:33:35 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