summaryrefslogtreecommitdiff
path: root/testing/ppl
diff options
context:
space:
mode:
authorroot <root@rshg054.dnsready.net>2012-03-01 03:21:19 +0000
committerroot <root@rshg054.dnsready.net>2012-03-01 03:21:19 +0000
commit6f297b1cf462a11227d811a87124006c55911d63 (patch)
tree325073cc18485496bf07d32e56edf643f3b7a2bf /testing/ppl
parent32b05a621cb20af1bd4b7cd6f5609b7512bb20f1 (diff)
Thu Mar 1 03:21:19 UTC 2012
Diffstat (limited to 'testing/ppl')
-rw-r--r--testing/ppl/PKGBUILD33
1 files changed, 33 insertions, 0 deletions
diff --git a/testing/ppl/PKGBUILD b/testing/ppl/PKGBUILD
new file mode 100644
index 000000000..b8a21419c
--- /dev/null
+++ b/testing/ppl/PKGBUILD
@@ -0,0 +1,33 @@
+# $Id: PKGBUILD 151630 2012-02-28 23:12:18Z allan $
+# Maintainer: Allan McRae <allan@archlinux.org>
+# Contributor: ezzetabi <ezzetabi at gawab dot com>
+
+pkgname=ppl
+pkgver=0.12
+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')
+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
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+