summaryrefslogtreecommitdiff
path: root/testing/ppl/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'testing/ppl/PKGBUILD')
-rw-r--r--testing/ppl/PKGBUILD33
1 files changed, 0 insertions, 33 deletions
diff --git a/testing/ppl/PKGBUILD b/testing/ppl/PKGBUILD
deleted file mode 100644
index f7ad1798b..000000000
--- a/testing/ppl/PKGBUILD
+++ /dev/null
@@ -1,33 +0,0 @@
-# $Id: PKGBUILD 162818 2012-07-01 07:04:36Z allan $
-# Maintainer: Allan McRae <allan@archlinux.org>
-# Contributor: ezzetabi <ezzetabi at gawab dot com>
-
-pkgname=ppl
-pkgver=1.0
-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=('c4566928c6b7bb63e95f96d1a7b5cb4c'
- '5f490df826c76fed296060ca8fca4eb5')
-
-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
-}
-