diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index 35829801391e..ea8453e851f1 100644 --- a/Makefile.def +++ b/Makefile.def @@ -59,6 +59,7 @@ host_modules= { module= gmp; lib_path=.libs; bootstrap=true; target="none-${host_vendor}-${host_os}"; }; host_modules= { module= mpfr; lib_path=.libs; bootstrap=true; extra_configure_flags='--disable-shared @extra_mpfr_configure_flags@'; + extra_make_flags='AM_CFLAGS="-DNO_ASM"'; no_install= true; }; host_modules= { module= mpc; lib_path=.libs; bootstrap=true; extra_configure_flags='--disable-shared @extra_mpc_gmp_configure_flags@ @extra_mpc_mpfr_configure_flags@'; |