From 4ccb481ef324f33d83c18ffbbf055f3f2314d116 Mon Sep 17 00:00:00 2001 From: Stephan Raue Date: Thu, 9 Jan 2014 18:37:25 +0100 Subject: [PATCH] ppl: move package, cleanup Signed-off-by: Stephan Raue --- packages/{toolchain/math => devel}/ppl/package.mk | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) rename packages/{toolchain/math => devel}/ppl/package.mk (88%) diff --git a/packages/toolchain/math/ppl/package.mk b/packages/devel/ppl/package.mk similarity index 88% rename from packages/toolchain/math/ppl/package.mk rename to packages/devel/ppl/package.mk index 8b046c77c2..07a483cbb3 100644 --- a/packages/toolchain/math/ppl/package.mk +++ b/packages/devel/ppl/package.mk @@ -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."