core/ppl to 0.12-1

core/ppl/PKGBUILD

@@ -1,26 +1,34 @@
+# $Id: PKGBUILD 151928 2012-03-04 10:58:10Z allan $
 # Maintainer: Allan McRae <allan@archlinux.org>
 # Contributor: ezzetabi <ezzetabi at gawab dot com>
-# ALARM: Kevin Mihelich <kevin@plugapps.com>
 
-noautobuild=1 # prevent plugbuild from autobuilding this package
+# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
+#  - noautobuild
+
+noautobuild=1
 plugrel=1
 
 pkgname=ppl
-pkgver=0.11.2
-pkgrel=2
+pkgver=0.12
+pkgrel=1
 pkgdesc="A modern library for convex polyhedra and other numerical abstractions."
 arch=('i686' 'x86_64')
-url="http://www.cs.unipr.it/ppl"
+url="http://bugseng.com/products/ppl"
 license=('GPL3')
 depends=('gmp>=5.0')
 options=('!docs' '!libtool')
-source=(http://www.cs.unipr.it/ppl/Download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
-md5sums=('ce014f153a28006009db207ca953a984')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('47a5548d4e3d98cf6b97e4fd3e5db513'
+         '41869f374e70d0a4d2faa61566365b9d')
 
 build() {
   cd $srcdir/ppl-$pkgver
   ./configure --prefix=/usr --enable-interfaces="c,cxx"
   make
+}
+
+check() {
+  cd $srcdir/ppl-$pkgver
   make check
 }
 
@@ -28,3 +36,4 @@ package() {
   cd $srcdir/ppl-$pkgver
   make DESTDIR=$pkgdir install
 }
+