diff options
Diffstat (limited to 'extra/ppl/PKGBUILD')
| -rw-r--r-- | extra/ppl/PKGBUILD | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/extra/ppl/PKGBUILD b/extra/ppl/PKGBUILD index db6a759a3..b19c83859 100644 --- a/extra/ppl/PKGBUILD +++ b/extra/ppl/PKGBUILD @@ -1,33 +1,32 @@ -# $Id: PKGBUILD 181214 2013-04-02 13:01:46Z allan $ +# $Id: PKGBUILD 197777 2013-10-30 02:07:55Z eric $ # Maintainer: Allan McRae <allan@archlinux.org> # Contributor: ezzetabi <ezzetabi at gawab dot com> pkgname=ppl -pkgver=1.0 -pkgrel=1.1 -pkgdesc="A modern library for convex polyhedra and other numerical abstractions." +pkgver=1.1 +pkgrel=1 +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>=5.0') -options=('!docs' '!libtool') +depends=('gmp') +options=('!docs') source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign}) -md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c' - '5f490df826c76fed296060ca8fca4eb5') +md5sums=('4f2422c0ef3f409707af32108deb30a7' + 'SKIP') build() { - cd $srcdir/ppl-$pkgver + cd ppl-$pkgver ./configure --prefix=/usr --enable-interfaces="c,cxx" make } check() { - cd $srcdir/ppl-$pkgver + cd ppl-$pkgver make check } package() { - cd $srcdir/ppl-$pkgver - make DESTDIR=$pkgdir install + cd ppl-$pkgver + make DESTDIR="$pkgdir" install } - |