Date: Monday, December 16, 2019 @ 20:49:39 Author: arojas Revision: 537883
swi-prolog 8.0 rebuild (FS#64864) Modified: ppl/trunk/PKGBUILD ----------+ PKGBUILD | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-12-16 20:37:39 UTC (rev 537882) +++ PKGBUILD 2019-12-16 20:49:39 UTC (rev 537883) @@ -4,7 +4,7 @@ pkgname=ppl pkgver=1.2 -pkgrel=3 +pkgrel=4 pkgdesc="A modern library for convex polyhedra and other numerical abstractions" arch=(x86_64) url="https://bugseng.com/products/ppl"; @@ -14,9 +14,17 @@ optdepends=('swi-prolog: SWI Prolog interface') options=(!docs) source=(https://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz) -md5sums=('2b43339316a3139fd75c7e8ca7ddc201') +sha256sums=('6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8') validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara +prepare() { + cd ppl-$pkgver +# Adapt to SWI Prolog 8.x (Fedora) + sed -i 's/-dump-runtime-variables/-&/g' configure +# Fix detection of C++11 features (Fedora) + sed -i 's,== 201103L,>= 201103L,g' configure +} + build() { cd ppl-$pkgver ./configure --prefix=/usr --enable-interfaces="c,cxx,swi_prolog"
