[arch-commits] Commit in ppl/repos (2 files)
Evangelos Foutras
foutrelis at archlinux.org
Fri Nov 9 23:20:32 UTC 2018
Date: Friday, November 9, 2018 @ 23:20:32
Author: foutrelis
Revision: 405250
archrelease: copy trunk to community-staging-x86_64
Added:
ppl/repos/community-staging-x86_64/
ppl/repos/community-staging-x86_64/PKGBUILD
(from rev 405249, ppl/trunk/PKGBUILD)
----------+
PKGBUILD | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
Copied: ppl/repos/community-staging-x86_64/PKGBUILD (from rev 405249, ppl/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD (rev 0)
+++ community-staging-x86_64/PKGBUILD 2018-11-09 23:20:32 UTC (rev 405250)
@@ -0,0 +1,34 @@
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+# Contributor: Allan McRae <allan at archlinux.org>
+# Contributor: ezzetabi <ezzetabi at gawab dot com>
+
+pkgname=ppl
+pkgver=1.2
+pkgrel=3
+pkgdesc="A modern library for convex polyhedra and other numerical abstractions"
+arch=(x86_64)
+url="http://bugseng.com/products/ppl"
+license=(GPL3)
+depends=(glpk)
+makedepends=(swi-prolog)
+optdepends=('swi-prolog: SWI Prolog interface')
+options=(!docs)
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz)
+md5sums=('2b43339316a3139fd75c7e8ca7ddc201')
+validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx,swi_prolog"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check || /bin/true # https://www.cs.unipr.it/mantis/view.php?id=2120
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
More information about the arch-commits
mailing list