diff options
| author | Abdoulaye Walsimou Gaye <walsimou@walsimou.com> | 2009-05-15 13:24:16 +0200 |
|---|---|---|
| committer | Abdoulaye Walsimou Gaye <walsimou@walsimou.com> | 2009-05-15 13:24:16 +0200 |
| commit | a63569273697390632f798dce6e0c212c1fd99e0 (patch) | |
| tree | 9f94170950e44234f9b09058ebe04025412e60b1 /mk/gmphost.mk | |
| parent | d342eeb2df577c80919cd079641e033d971eb631 (diff) | |
| download | embtoolkit-a63569273697390632f798dce6e0c212c1fd99e0.tar.gz embtoolkit-a63569273697390632f798dce6e0c212c1fd99e0.tar.bz2 embtoolkit-a63569273697390632f798dce6e0c212c1fd99e0.tar.xz | |
be more precise at configure time
Signed-off-by: Abdoulaye Walsimou Gaye <walsimou@walsimou.com>
Diffstat (limited to 'mk/gmphost.mk')
| -rw-r--r-- | mk/gmphost.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/mk/gmphost.mk b/mk/gmphost.mk index c70a585..2ce8cd1 100644 --- a/mk/gmphost.mk +++ b/mk/gmphost.mk @@ -34,7 +34,7 @@ gmphost_install: $(GMP_HOST_BUILD_DIR)/.built $(GMP_HOST_BUILD_DIR)/.built: download_gmp_host $(GMP_HOST_BUILD_DIR)/.decompressed \ $(GMP_HOST_BUILD_DIR)/.configured - @cd $(GMP_HOST_BUILD_DIR) && make && make install + @cd $(GMP_HOST_BUILD_DIR) && $(MAKE) && $(MAKE) install @touch $@ download_gmp_host: @@ -49,5 +49,6 @@ $(GMP_HOST_BUILD_DIR)/.decompressed: $(GMP_HOST_BUILD_DIR)/.configured: @mkdir -p $(GMP_HOST_DIR) @cd $(GMP_HOST_BUILD_DIR); $(TOOLS_BUILD)/gmp-$(GMP_HOST_VERSION)/configure \ - --prefix=$(GMP_HOST_DIR) --disable-shared --enable-static + --prefix=$(GMP_HOST_DIR) --disable-shared --enable-static \ + --build=$(HOST_BUILD) --host=$(HOST_ARCH) @touch $@ |