Date: Monday, August 28, 2017 @ 09:09:24 Author: bpiotrowski Revision: 254644
archrelease: copy trunk to community-i686, community-x86_64 Added: ppl/repos/community-i686/PKGBUILD (from rev 254643, ppl/trunk/PKGBUILD) ppl/repos/community-x86_64/PKGBUILD (from rev 254643, ppl/trunk/PKGBUILD) Deleted: ppl/repos/community-i686/PKGBUILD ppl/repos/community-x86_64/PKGBUILD ---------------------------+ /PKGBUILD | 70 ++++++++++++++++++++++++++++++++++++++++++++ community-i686/PKGBUILD | 35 ---------------------- community-x86_64/PKGBUILD | 35 ---------------------- 3 files changed, 70 insertions(+), 70 deletions(-) Deleted: community-i686/PKGBUILD =================================================================== --- community-i686/PKGBUILD 2017-08-28 09:03:10 UTC (rev 254643) +++ community-i686/PKGBUILD 2017-08-28 09:09:24 UTC (rev 254644) @@ -1,35 +0,0 @@ -# $Id$ -# 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=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=(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 -} - -package() { - cd ppl-$pkgver - make DESTDIR="$pkgdir" install -} Copied: ppl/repos/community-i686/PKGBUILD (from rev 254643, ppl/trunk/PKGBUILD) =================================================================== --- community-i686/PKGBUILD (rev 0) +++ community-i686/PKGBUILD 2017-08-28 09:09:24 UTC (rev 254644) @@ -0,0 +1,35 @@ +# $Id$ +# 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=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=(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 +} Deleted: community-x86_64/PKGBUILD =================================================================== --- community-x86_64/PKGBUILD 2017-08-28 09:03:10 UTC (rev 254643) +++ community-x86_64/PKGBUILD 2017-08-28 09:09:24 UTC (rev 254644) @@ -1,35 +0,0 @@ -# $Id$ -# 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=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=(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 -} - -package() { - cd ppl-$pkgver - make DESTDIR="$pkgdir" install -} Copied: ppl/repos/community-x86_64/PKGBUILD (from rev 254643, ppl/trunk/PKGBUILD) =================================================================== --- community-x86_64/PKGBUILD (rev 0) +++ community-x86_64/PKGBUILD 2017-08-28 09:09:24 UTC (rev 254644) @@ -0,0 +1,35 @@ +# $Id$ +# 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=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=(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 +}