diff options
| author | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
| commit | b2a6f1b28b7fa31088cab9a90b0f5ab97948534d (patch) | |
| tree | afa7b467e44b704b69c66862852a8c3118b8e308 /extra/ppl | |
| parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) | |
Thu Oct 31 01:09:50 PDT 2013
Diffstat (limited to 'extra/ppl')
| -rw-r--r-- | extra/ppl/PKGBUILD | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/extra/ppl/PKGBUILD b/extra/ppl/PKGBUILD index 5478e7b0c..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 +pkgver=1.1 pkgrel=1 -pkgdesc="A modern library for convex polyhedra and other numerical abstractions." +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 } - |