diff options
Diffstat (limited to 'tools/mpfr/Makefile')
| -rw-r--r-- | tools/mpfr/Makefile | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile index 72712f219..e34830ad5 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 2009 OpenWrt.org +# Copyright (C) 2009-2013 OpenWrt.org # # This is free software, licensed under the GNU General Public License v2. # See /LICENSE for more information. @@ -7,12 +7,13 @@ include $(TOPDIR)/rules.mk PKG_NAME:=mpfr -PKG_VERSION:=3.0.0 +PKG_VERSION:=3.1.1 PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 -PKG_MD5SUM:=f45bac3584922c8004a10060ab1a8f9f +PKG_MD5SUM:=e90e0075bb1b5f626c6e31aaa9c64e3b +HOST_BUILD_PARALLEL:=1 HOST_FIXUP:=autoreconf include $(INCLUDE_DIR)/host-build.mk @@ -22,9 +23,4 @@ HOST_CONFIGURE_ARGS += \ --disable-shared \ --with-gmp=$(STAGING_DIR_HOST) -define Host/Configure - echo "PATH=$(shell echo $$PATH)" - $(call Host/Configure/Default) -endef - $(eval $(call HostBuild)) |