2010-04-04 22:20:41 +08:00
|
|
|
# $Id: PKGBUILD 72643 2010-03-19 03:05:11Z allan $
|
2010-03-13 23:25:19 +08:00
|
|
|
# Maintainer: Allan McRae <allan@archlinux.org>
|
|
|
|
|
# Contributor: ezzetabi <ezzetabi at gawab dot com>
|
|
|
|
|
|
|
|
|
|
pkgname=cloog-ppl
|
2010-04-04 22:20:41 +08:00
|
|
|
pkgver=0.15.8
|
|
|
|
|
pkgrel=1
|
2010-03-13 23:25:19 +08:00
|
|
|
pkgdesc="Library that generates loops for scanning polyhedra"
|
|
|
|
|
arch=('i686' 'x86_64')
|
|
|
|
|
url="http://www.cloog.org/"
|
|
|
|
|
license=('GPL')
|
2010-04-04 22:20:41 +08:00
|
|
|
depends=('ppl>=0.10.2-3')
|
2010-03-13 23:25:19 +08:00
|
|
|
options=('!libtool')
|
|
|
|
|
source=(ftp://gcc.gnu.org/pub/gcc/infrastructure/${pkgname}-${pkgver}.tar.gz)
|
2010-04-04 22:20:41 +08:00
|
|
|
md5sums=('b27bc188e3e99dca2923ce9323b8fb63')
|
2010-03-13 23:25:19 +08:00
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
cd $srcdir/$pkgname-$pkgver
|
|
|
|
|
|
|
|
|
|
./configure --prefix=/usr --infodir=/usr/share/info \
|
|
|
|
|
--with-bits=gmp --with-ppl=/usr
|
|
|
|
|
make || return 1
|
2010-04-04 22:20:41 +08:00
|
|
|
make check
|
2010-03-13 23:25:19 +08:00
|
|
|
make DESTDIR=$pkgdir/ install
|
|
|
|
|
}
|
