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