summaryrefslogtreecommitdiff
path: root/core/ppl/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'core/ppl/PKGBUILD')
-rw-r--r--core/ppl/PKGBUILD28
1 files changed, 28 insertions, 0 deletions
diff --git a/core/ppl/PKGBUILD b/core/ppl/PKGBUILD
new file mode 100644
index 000000000..230b48de4
--- /dev/null
+++ b/core/ppl/PKGBUILD
@@ -0,0 +1,28 @@
+# $Id: PKGBUILD 111674 2011-02-28 10:47:00Z allan $
+# Maintainer: Allan McRae <allan@archlinux.org>
+# Contributor: ezzetabi <ezzetabi at gawab dot com>
+
+pkgname=ppl
+pkgver=0.11.2
+pkgrel=1
+pkgdesc="A modern library for convex polyhedra and other numerical abstractions."
+arch=('i686' 'x86_64')
+url="http://www.cs.unipr.it/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')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+