config/gmp_mpfr.in
branch1.3
changeset 1768 2cab50c41bd9
parent 634 c74132339c44
     1.1 --- a/config/gmp_mpfr.in	Mon Jun 30 11:58:58 2008 +0000
     1.2 +++ b/config/gmp_mpfr.in	Sun Jan 31 13:04:34 2010 +0100
     1.3 @@ -20,6 +20,7 @@
     1.4      bool
     1.5      prompt "Build libraries for the target"
     1.6      depends on GMP_MPFR
     1.7 +    depends on ! BARE_METAL
     1.8      default n
     1.9      help
    1.10        Also build libraries for the target. This can be usefull if you want