[arch-commits] Commit in ppl/repos (4 files)

[Felix Yan]

    Date: Sunday, December 6, 2015 @ 02:01:08
  Author: fyan
Revision: 148710

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  ppl/repos/community-staging-i686/
  ppl/repos/community-staging-i686/PKGBUILD
    (from rev 148709, ppl/trunk/PKGBUILD)
  ppl/repos/community-staging-x86_64/
  ppl/repos/community-staging-x86_64/PKGBUILD
    (from rev 148709, ppl/trunk/PKGBUILD)

-----------------------------------+
 community-staging-i686/PKGBUILD   |   33 +++++++++++++++++++++++++++++++++
 community-staging-x86_64/PKGBUILD |   33 +++++++++++++++++++++++++++++++++
 2 files changed, 66 insertions(+)

Copied: ppl/repos/community-staging-i686/PKGBUILD (from rev 148709, ppl/trunk/PKGBUILD)
===================================================================
--- community-staging-i686/PKGBUILD	                        (rev 0)
+++ community-staging-i686/PKGBUILD	2015-12-06 01:01:08 UTC (rev 148710)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae <allan at archlinux.org>
+# Contributor: ezzetabi <ezzetabi at gawab dot com>
+
+pkgname=ppl
+pkgver=1.1
+pkgrel=2
+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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+         'SKIP')
+validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
+
+build() {
+  cd ppl-$pkgver
+  ./configure --prefix=/usr --enable-interfaces="c,cxx"
+  make
+}
+
+check() {
+  cd ppl-$pkgver
+  make check
+}
+
+package() {
+  cd ppl-$pkgver
+  make DESTDIR="$pkgdir" install
+}

Copied: ppl/repos/community-staging-x86_64/PKGBUILD (from rev 148709, ppl/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD	                        (rev 0)
+++ community-staging-x86_64/PKGBUILD	2015-12-06 01:01:08 UTC (rev 148710)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae <allan at archlinux.org>
+# Contributor: ezzetabi <ezzetabi at gawab dot com>
+
+pkgname=ppl
+pkgver=1.1
+pkgrel=2
+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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+         'SKIP')
+validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
+
+build() {
+  cd ppl-$pkgver
+  ./configure --prefix=/usr --enable-interfaces="c,cxx"
+  make
+}
+
+check() {
+  cd ppl-$pkgver
+  make check
+}
+
+package() {
+  cd ppl-$pkgver
+  make DESTDIR="$pkgdir" install
+}