diff options
Diffstat (limited to 'tools/mpfr')
| -rw-r--r-- | tools/mpfr/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile index 06d92e5bc4..6f0ab6e29e 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -9,7 +9,8 @@ include $(TOPDIR)/rules.mk PKG_NAME:=mpfr PKG_VERSION:=3.1.2 -PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) +PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \ + @GNU/mpfr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 PKG_MD5SUM:=ee2c3ac63bf0c2359bf08fc3ee094c19 |