remove core/cloog-ppl - replaced by cloog a long time ago, in a galaxy far far away..

core/cloog-ppl/PKGBUILD

@@ -1,37 +0,0 @@
-# $Id: PKGBUILD 104416 2011-01-02 12:23:31Z allan $
-# Maintainer: Allan McRae <allan@archlinux.org>
-# Contributor: ezzetabi <ezzetabi at gawab dot com>
-
-# PlugApps: Kevin Mihelich <kevin@plugapps.com>
-#  - no changes, here just to maintain this version
-
-plugrel=1
-noautobuild=1
-
-pkgname=cloog-ppl
-pkgver=0.15.10
-pkgrel=2
-pkgdesc="Library that generates loops for scanning polyhedra"
-arch=('i686' 'x86_64')
-url="http://www.cloog.org/"
-license=('GPL')
-depends=('ppl>=0.11')
-options=('!libtool')
-source=(ftp://gcc.gnu.org/pub/gcc/infrastructure/${pkgname}-${pkgver}.tar.gz)
-md5sums=('04aa756179b6d850d9ffa50f61b91895')
-
-build() {
-  cd $srcdir/$pkgname-$pkgver
-
-  ./autogen.sh
-  ./configure --prefix=/usr --includedir=/usr/include/cloog-ppl \
-    --with-bits=gmp --with-ppl=/usr 
-  make
-  make check
-}
-
-package() {
-  cd $srcdir/$pkgname-$pkgver
-  make DESTDIR=$pkgdir/ install
-  mv $pkgdir/usr/bin/cloog{,-ppl}
-}