removed core/isl, core/cloog

core/cloog/PKGBUILD

@@ -1,43 +0,0 @@
-# $Id: PKGBUILD 162068 2012-06-19 12:27:34Z allan $
-# Maintainer: Allan McRae <allan@archlinux.org>
-
-# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
-#  - no changes, just version hold
-
-noautobuild=1
-
-pkgname=cloog
-pkgver=0.18.1
-pkgrel=3
-pkgdesc="Library that generates loops for scanning polyhedra"
-arch=('i686' 'x86_64')
-url="http://www.bastoul.net/cloog/"
-license=('GPL')
-depends=('isl')
-source=(http://www.bastoul.net/cloog/pages/download/$pkgname-$pkgver.tar.gz
-        cloog-0.18.1-isl-compat.patch)
-md5sums=('e34fca0540d840e5d0f6427e98c92252'
-         '976c999b44c6e364455a670d12523242')
-
-prepare() {
-  cd $srcdir/$pkgname-$pkgver
-  
-  # combination of upstream commits b561f860, 2d8b7c6b and 22643c94
-  patch -p1 -i $srcdir/cloog-0.18.1-isl-compat.patch
-}
-
-build() {
-  cd "$srcdir/$pkgname-$pkgver"
-  ./configure --prefix=/usr --with-isl=system
-  make
-}
-
-check() {
-  cd "$srcdir/$pkgname-$pkgver"
-  make check
-}
-
-package() {
-  cd "$srcdir/$pkgname-$pkgver"
-  make DESTDIR="$pkgdir/" install
-}

core/isl/PKGBUILD

@@ -1,39 +0,0 @@
-# $Id: PKGBUILD 162067 2012-06-19 12:27:31Z allan $
-# Maintainer: Allan McRae <allan@archlinux.org>
-
-# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
-#  - no changes, just version hold
-
-noautobuild=1
-
-pkgname=isl
-pkgver=0.13
-pkgrel=1
-pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
-arch=('i686' 'x86_64')
-url="http://freecode.com/projects/isl"
-depends=('gmp')
-license=('MIT')
-source=(http://isl.gforge.inria.fr/$pkgname-$pkgver.tar.bz2)
-md5sums=('e4cf20c4c10d5d613457558b1f46b5e2')
-
-build() {
-  cd "$srcdir/$pkgname-$pkgver"
-  ./configure --prefix=/usr
-  make
-}
-
-check() {
-  cd "$srcdir/$pkgname-$pkgver"
-  make check
-}
-
-package() {
-  cd "$srcdir/$pkgname-$pkgver"
-  make DESTDIR="$pkgdir/" install
-
-  install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
-  mv $pkgdir/usr/lib/libisl.so.*-gdb.py $pkgdir/usr/share/gdb/auto-load/usr/lib/
-
-  install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE
-}