diff options
| author | Hauke Mehrtens <hauke@openwrt.org> | 2010-12-11 23:55:39 +0000 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@openwrt.org> | 2010-12-11 23:55:39 +0000 |
| commit | 96a66fe17bb52a5d1269f8433d6f267d506dc765 (patch) | |
| tree | cafbf215216118166e3e5fd676ca713d99d21ff1 /tools/ppl | |
| parent | a19ac0ab21c1bfa2ed324b70ec4b9f21859dd56d (diff) | |
| download | upstream-96a66fe17bb52a5d1269f8433d6f267d506dc765.tar.gz upstream-96a66fe17bb52a5d1269f8433d6f267d506dc765.tar.bz2 upstream-96a66fe17bb52a5d1269f8433d6f267d506dc765.zip | |
ppl: update to new version.
The old version is not compatible with gmp 5.
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@24501 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'tools/ppl')
| -rw-r--r-- | tools/ppl/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/ppl/Makefile b/tools/ppl/Makefile index 7eea73f0b0..1dad4b408a 100644 --- a/tools/ppl/Makefile +++ b/tools/ppl/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=ppl -PKG_VERSION:=0.10.2 +PKG_VERSION:=0.11 -PKG_SOURCE_URL:=ftp://gcc.gnu.org/pub/gcc/infrastructure -PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.gz -PKG_MD5SUM:=e7dd265afdeaea81f7e87a72b182d875 +PKG_SOURCE_URL:=ftp://ftp.cs.unipr.it/pub/ppl/releases/$(PKG_VERSION)/ +PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 +PKG_MD5SUM:=c414abd2ecaf1f1f48949c78d383ee1a include $(INCLUDE_DIR)/host-build.mk |