diff options
Diffstat (limited to 'mk/mpfrhost.mk')
| -rw-r--r-- | mk/mpfrhost.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mk/mpfrhost.mk b/mk/mpfrhost.mk index 9e3916b..1c4d34f 100644 --- a/mk/mpfrhost.mk +++ b/mk/mpfrhost.mk @@ -34,7 +34,7 @@ mpfrhost_install: $(MPFR_HOST_BUILD_DIR)/.built $(MPFR_HOST_BUILD_DIR)/.built: download_mpfr_host $(MPFR_HOST_BUILD_DIR)/.decompressed \ $(MPFR_HOST_BUILD_DIR)/.configured - @cd $(MPFR_HOST_BUILD_DIR); make; make install + @cd $(MPFR_HOST_BUILD_DIR) && make && make install @touch $@ $(MPFR_HOST_BUILD_DIR)/.decompressed: @@ -50,6 +50,7 @@ download_mpfr_host: wget $(MPFR_HOST_SITE)/$(MPFR_HOST_PACKAGE) \ -O $(DOWNLOAD_DIR)/$(MPFR_HOST_PACKAGE) ifeq ($(CONFIG_EMBTK_MPFR_HOST_VERSION_PATCH),y) + @test -e $(DOWNLOAD_DIR)/mpfr-$(MPFR_HOST_VERSION).patch || \ wget $(MPFR_HOST_SITE)/patches \ -O $(DOWNLOAD_DIR)/mpfr-$(MPFR_HOST_VERSION).patch endif |