removed community/ppl

community/ppl/PKGBUILD

@@ -1,36 +0,0 @@
-# $Id$
-# Maintainer: Allan McRae <allan@archlinux.org>
-# Contributor: ezzetabi <ezzetabi at gawab dot com>
-
-# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
-#  - remove when bumped upstream
-
-pkgname=ppl
-pkgver=1.1
-pkgrel=2
-pkgdesc="A modern library for convex polyhedra and other numerical abstractions"
-arch=('i686' 'x86_64')
-url="http://bugseng.com/products/ppl"
-license=('GPL3')
-depends=('gmp')
-options=('!docs')
-source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('4f2422c0ef3f409707af32108deb30a7'
-         'SKIP')
-validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
-
-build() {
-  cd ppl-$pkgver
-  ./configure --prefix=/usr --enable-interfaces="c,cxx"
-  make
-}
-
-check() {
-  cd ppl-$pkgver
-  make check
-}
-
-package() {
-  cd ppl-$pkgver
-  make DESTDIR="$pkgdir" install
-}