summaryrefslogtreecommitdiffstats
path: root/tools/mpfr
diff options
context:
space:
mode:
Diffstat (limited to 'tools/mpfr')
-rw-r--r--tools/mpfr/Makefile26
1 files changed, 4 insertions, 22 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile
index 5abb2a2c7..17734a246 100644
--- a/tools/mpfr/Makefile
+++ b/tools/mpfr/Makefile
@@ -15,27 +15,9 @@ PKG_MD5SUM:=527147c097874340cb9cee0579dacf3b
include $(INCLUDE_DIR)/host-build.mk
-define Host/Configure
- (cd $(HOST_BUILD_DIR); \
- ./configure \
- --prefix=$(STAGING_DIR_HOST) \
- --build=$(GNU_HOST_NAME) \
- --enable-static \
- --disable-shared \
- --with-gmp=$(STAGING_DIR_HOST) \
- );
-endef
-
-define Host/Compile
- make -C $(HOST_BUILD_DIR) all
-endef
-
-define Host/Install
- make -C $(HOST_BUILD_DIR) install
-endef
-
-define Host/Clean
- rm -rf $(HOST_BUILD_DIR)
-endef
+HOST_CONFIGURE_ARGS += \
+ --enable-static \
+ --disable-shared \
+ --with-gmp=$(STAGING_DIR_HOST)
$(eval $(call HostBuild))