From 17fa65cdffd50815911ba73e60c65195790a9b6c Mon Sep 17 00:00:00 2001 From: Stephan Raue Date: Wed, 17 Nov 2010 14:55:27 +0100 Subject: [PATCH] ppl: add metafile support Signed-off-by: Stephan Raue --- packages/toolchain/math/ppl/build | 5 +---- packages/toolchain/math/ppl/meta | 14 ++++++++++++++ packages/toolchain/math/ppl/url | 1 - 3 files changed, 15 insertions(+), 5 deletions(-) create mode 100644 packages/toolchain/math/ppl/meta delete mode 100644 packages/toolchain/math/ppl/url diff --git a/packages/toolchain/math/ppl/build b/packages/toolchain/math/ppl/build index dda849a29c..344ea91765 100755 --- a/packages/toolchain/math/ppl/build +++ b/packages/toolchain/math/ppl/build @@ -2,14 +2,11 @@ . config/options $1 -$SCRIPTS/build gmp - setup_toolchain host cd $BUILD/$1* -mkdir -p objdir -cd objdir +mkdir -p objdir && cd objdir ../configure --host=$HOST_NAME \ --build=$HOST_NAME \ diff --git a/packages/toolchain/math/ppl/meta b/packages/toolchain/math/ppl/meta new file mode 100644 index 0000000000..7d165323cd --- /dev/null +++ b/packages/toolchain/math/ppl/meta @@ -0,0 +1,14 @@ +PKG_NAME="ppl" +PKG_VERSION="0.11" +PKG_REV="1" +PKG_ARCH="any" +PKG_LICENSE="GPL" +PKG_SITE="http://www.cs.unipr.it/ppl" +PKG_URL="http://www.cs.unipr.it/ppl/Download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.bz2" +PKG_DEPENDS="" +PKG_BUILD_DEPENDS="ccache gmp" +PKG_PRIORITY="optional" +PKG_SECTION="toolchain/math" +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." +PKG_IS_ADDON="no" diff --git a/packages/toolchain/math/ppl/url b/packages/toolchain/math/ppl/url deleted file mode 100644 index 31fc4fae56..0000000000 --- a/packages/toolchain/math/ppl/url +++ /dev/null @@ -1 +0,0 @@ -http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/ppl-0.11.tar.bz2