aboutsummaryrefslogtreecommitdiff
path: root/Makefile.def
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.def')
-rw-r--r--Makefile.def8
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.def b/Makefile.def
index 496213f..f5c2e11 100644
--- a/Makefile.def
+++ b/Makefile.def
@@ -62,7 +62,13 @@ host_modules= { module= gawk; };
host_modules= { module= gettext; };
host_modules= { module= gmp; lib_path=.libs; bootstrap=true;
extra_configure_flags='--disable-shared';
- no_install= true; };
+ no_install= true;
+ // none-*-* disables asm optimizations, bootstrap-testing
+ // the compiler more thoroughly.
+ host="none-${host_vendor}-${host_os}";
+ // gmp's configure will complain if given anything
+ // different from host for target.
+ target="none-${host_vendor}-${host_os}"; };
host_modules= { module= mpfr; lib_path=.libs; bootstrap=true;
extra_configure_flags='--disable-shared @extra_mpfr_configure_flags@';
no_install= true; };