[arch-commits] Commit in ppl/trunk (PKGBUILD)

[Antonio Rojas]

    Date: Monday, July 17, 2017 @ 17:58:40
  Author: arojas
Revision: 245508

Enable glpk and prolog interface (FS#54851)

Modified:
  ppl/trunk/PKGBUILD

----------+
 PKGBUILD |    8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-07-17 17:09:12 UTC (rev 245507)
+++ PKGBUILD	2017-07-17 17:58:40 UTC (rev 245508)
@@ -5,12 +5,14 @@
 
 pkgname=ppl
 pkgver=1.2
-pkgrel=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)
+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')
@@ -18,7 +20,7 @@
 
 build() {
   cd ppl-$pkgver
-  ./configure --prefix=/usr --enable-interfaces="c,cxx"
+  ./configure --prefix=/usr --enable-interfaces="c,cxx,swi_prolog"
   make
 }