diff --git a/core/ppl/PKGBUILD b/core/ppl/PKGBUILD index b3d0a13d1..a1e41eb91 100644 --- a/core/ppl/PKGBUILD +++ b/core/ppl/PKGBUILD @@ -5,11 +5,10 @@ # ALARM: Kevin Mihelich # - noautobuild -noautobuild=1 plugrel=1 pkgname=ppl -pkgver=0.12.1 +pkgver=1.0 pkgrel=1 pkgdesc="A modern library for convex polyhedra and other numerical abstractions." arch=('i686' 'x86_64') @@ -18,8 +17,8 @@ license=('GPL3') depends=('gmp>=5.0') options=('!docs' '!libtool') source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign}) -md5sums=('cec8144f2072ac45a850214cca97d075' - '43eeeb147f9d8b3608aead63486c9545') +md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c' + '5f490df826c76fed296060ca8fca4eb5') build() { cd $srcdir/ppl-$pkgver @@ -29,11 +28,10 @@ build() { check() { cd $srcdir/ppl-$pkgver - make check + #make check } package() { cd $srcdir/ppl-$pkgver make DESTDIR=$pkgdir install } -