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

[Antonio Rojas]

    Date: Monday, July 17, 2017 @ 17:59:11
  Author: arojas
Revision: 245509

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

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

---------------------------+
 /PKGBUILD                 |   70 ++++++++++++++++++++++++++++++++++++++++++++
 community-i686/PKGBUILD   |   33 --------------------
 community-x86_64/PKGBUILD |   33 --------------------
 3 files changed, 70 insertions(+), 66 deletions(-)

Deleted: community-i686/PKGBUILD
===================================================================
--- community-i686/PKGBUILD	2017-07-17 17:58:40 UTC (rev 245508)
+++ community-i686/PKGBUILD	2017-07-17 17:59:11 UTC (rev 245509)
@@ -1,33 +0,0 @@
-# $Id$
-# 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=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)
-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"
-  make
-}
-
-check() {
-  cd ppl-$pkgver
-  make check
-}
-
-package() {
-  cd ppl-$pkgver
-  make DESTDIR="$pkgdir" install
-}

Copied: ppl/repos/community-i686/PKGBUILD (from rev 245508, ppl/trunk/PKGBUILD)
===================================================================
--- community-i686/PKGBUILD	                        (rev 0)
+++ community-i686/PKGBUILD	2017-07-17 17:59:11 UTC (rev 245509)
@@ -0,0 +1,35 @@
+# $Id$
+# 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=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=(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
+}
+
+package() {
+  cd ppl-$pkgver
+  make DESTDIR="$pkgdir" install
+}

Deleted: community-x86_64/PKGBUILD
===================================================================
--- community-x86_64/PKGBUILD	2017-07-17 17:58:40 UTC (rev 245508)
+++ community-x86_64/PKGBUILD	2017-07-17 17:59:11 UTC (rev 245509)
@@ -1,33 +0,0 @@
-# $Id$
-# 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=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)
-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"
-  make
-}
-
-check() {
-  cd ppl-$pkgver
-  make check
-}
-
-package() {
-  cd ppl-$pkgver
-  make DESTDIR="$pkgdir" install
-}

Copied: ppl/repos/community-x86_64/PKGBUILD (from rev 245508, ppl/trunk/PKGBUILD)
===================================================================
--- community-x86_64/PKGBUILD	                        (rev 0)
+++ community-x86_64/PKGBUILD	2017-07-17 17:59:11 UTC (rev 245509)
@@ -0,0 +1,35 @@
+# $Id$
+# 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=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=(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
+}
+
+package() {
+  cd ppl-$pkgver
+  make DESTDIR="$pkgdir" install
+}