ppl: add metafile support

Signed-off-by: Stephan Raue <stephan@openelec.tv>
This commit is contained in:
Stephan Raue 2010-11-17 14:55:27 +01:00
parent 5e06b079c8
commit 17fa65cdff
3 changed files with 15 additions and 5 deletions

View File

@ -2,14 +2,11 @@
. config/options $1 . config/options $1
$SCRIPTS/build gmp
setup_toolchain host setup_toolchain host
cd $BUILD/$1* cd $BUILD/$1*
mkdir -p objdir mkdir -p objdir && cd objdir
cd objdir
../configure --host=$HOST_NAME \ ../configure --host=$HOST_NAME \
--build=$HOST_NAME \ --build=$HOST_NAME \

View File

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

View File

@ -1 +0,0 @@
http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/ppl-0.11.tar.bz2