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

[Antonio Rojas]

    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"