diff options
Diffstat (limited to 'config/gmp_mpfr.in')
| -rw-r--r-- | config/gmp_mpfr.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/gmp_mpfr.in b/config/gmp_mpfr.in index c384ecc..02afb76 100644 --- a/config/gmp_mpfr.in +++ b/config/gmp_mpfr.in @@ -20,6 +20,7 @@ config GMP_MPFR_TARGET 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 |