mirror/ openwrt
1
0
Fork 0
mirror of https://git.openwrt.org/openwrt/openwrt.git synced 2024-05-18 13:36:21 +02:00
Code Issues

tools/mpfr: add GNU source 

fixes https://dev.openwrt.org/ticket/14519

mpfr is available from GNU too
see: https://gforge.inria.fr/forum/forum.php?forum_id=11263

Signed-off-by: Dirk Neukirchen <dirkneukirchen@web.de>

SVN-Revision: 38912
This commit is contained in:
John Crispin 2013-11-25 14:09:24 +00:00
parent cba772f5bc
commit 8a35c5936f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/mpfr/Makefile
View File

@ -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