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 }
