Date: Monday, December 16, 2019 @ 20:50:08 Author: arojas Revision: 537884
archrelease: copy trunk to community-x86_64 Added: ppl/repos/community-x86_64/PKGBUILD (from rev 537883, ppl/trunk/PKGBUILD) Deleted: ppl/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 76 +++++++++++++++++++++++++++++++++---------------------------- 1 file changed, 42 insertions(+), 34 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2019-12-16 20:49:39 UTC (rev 537883) +++ PKGBUILD 2019-12-16 20:50:08 UTC (rev 537884) @@ -1,34 +0,0 @@ -# Maintainer: Antonio Rojas <aro...@archlinux.org> -# Contributor: Allan McRae <al...@archlinux.org> -# Contributor: ezzetabi <ezzetabi at gawab dot com> - -pkgname=ppl -pkgver=1.2 -pkgrel=3 -pkgdesc="A modern library for convex polyhedra and other numerical abstractions" -arch=(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 || /bin/true # https://www.cs.unipr.it/mantis/view.php?id=2120 -} - -package() { - cd ppl-$pkgver - make DESTDIR="$pkgdir" install -} Copied: ppl/repos/community-x86_64/PKGBUILD (from rev 537883, ppl/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2019-12-16 20:50:08 UTC (rev 537884) @@ -0,0 +1,42 @@ +# Maintainer: Antonio Rojas <aro...@archlinux.org> +# Contributor: Allan McRae <al...@archlinux.org> +# Contributor: ezzetabi <ezzetabi at gawab dot com> + +pkgname=ppl +pkgver=1.2 +pkgrel=4 +pkgdesc="A modern library for convex polyhedra and other numerical abstractions" +arch=(x86_64) +url="https://bugseng.com/products/ppl" +license=(GPL3) +depends=(glpk) +makedepends=(swi-prolog) +optdepends=('swi-prolog: SWI Prolog interface') +options=(!docs) +source=(https://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz) +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" + make +} + +check() { + cd ppl-$pkgver + make check || /bin/true # https://www.cs.unipr.it/mantis/view.php?id=2120 +} + +package() { + cd ppl-$pkgver + make DESTDIR="$pkgdir" install +}