jeans/LibreELEC.tv
jeans/LibreELEC.tv
1
0
Fork 0
mirror of https://github.com/LibreELEC/LibreELEC.tv.git synced 2025-07-24 11:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

ppl: move package, cleanup

Browse Source 
Signed-off-by: Stephan Raue <stephan@openelec.tv>
This commit is contained in:
Stephan Raue 2014-01-09 18:37:25 +01:00
parent 716a43b4e0
commit 4ccb481ef3
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
packages/toolchain/math/ppl/package.mk → packages/devel/ppl/package.mk
View File

@ -23,11 +23,10 @@ PKG_ARCH="any"
PKG_LICENSE="GPL"
PKG_SITE="http://www.cs.unipr.it/ppl"
PKG_URL="http://bugseng.com/products/ppl/download/ftp/snapshots/$PKG_NAME-$PKG_VERSION.tar.xz"
#PKG_URL="http://bugseng.com/products/ppl/download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.xz"
PKG_DEPENDS=""
PKG_BUILD_DEPENDS="ccache:host gmp:host"
PKG_DEPENDS_HOST=""
PKG_BUILD_DEPENDS_HOST="ccache:host gmp:host"
PKG_PRIORITY="optional"
PKG_SECTION="toolchain/math"
PKG_SECTION="devel"
PKG_SHORTDESC="ppl: Parma Polyhedra Library"
PKG_LONGDESC="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."