diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.def b/Makefile.def index d74e78ab7ef..ceee5558d09 100644 --- a/Makefile.def +++ b/Makefile.def @@ -65,7 +65,7 @@ host_modules= { module= gmp; lib_path=.libs; bootstrap=true; host="none-${host_vendor}-${host_os}"; target="none-${host_vendor}-${host_os}"; }; host_modules= { module= mpfr; lib_path=.libs; bootstrap=true; - extra_configure_flags='--disable-shared --with-gmp-build=$$r/$(HOST_SUBDIR)/gmp'; + extra_configure_flags='--disable-shared @extra_mpfr_configure_flags@'; no_install= true; host="none-${host_vendor}-${host_os}"; target="none-${host_vendor}-${host_os}"; }; |