* Makefile.def: Restore host and target settings for gmp.

* Makefile.in: Rebuild.
This commit is contained in:
Alexandre Oliva
2009-11-16 22:57:46 +00:00
parent 1f53ca9a8b
commit 606a9ca083
3 changed files with 26 additions and 15 deletions

View File

@ -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; };