[arch-commits] Commit in ppl/repos (4 files)
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
-# Contributor: Allan McRae
-# Contributor: ezzetabi
-
-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
+# Contributor: Allan McRae
+# Contributor: ezzetabi
+
+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
-# Contributor: Allan McRae
-# Contributor: ezzetabi
-
-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
+# Contributor: Allan McRae
+# Contributor: ezzetabi
+
+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
[arch-commits] Commit in ppl/repos (4 files)
Date: Monday, July 17, 2017 @ 17:59:11
Author: arojas
Revision: 245509
archrelease: copy trunk to community-i686, community-x86_64
Added:
ppl/repos/community-i686/PKGBUILD
(from rev 245508, ppl/trunk/PKGBUILD)
ppl/repos/community-x86_64/PKGBUILD
(from rev 245508, ppl/trunk/PKGBUILD)
Deleted:
ppl/repos/community-i686/PKGBUILD
ppl/repos/community-x86_64/PKGBUILD
---+
/PKGBUILD | 70
community-i686/PKGBUILD | 33
community-x86_64/PKGBUILD | 33
3 files changed, 70 insertions(+), 66 deletions(-)
Deleted: community-i686/PKGBUILD
===
--- community-i686/PKGBUILD 2017-07-17 17:58:40 UTC (rev 245508)
+++ community-i686/PKGBUILD 2017-07-17 17:59:11 UTC (rev 245509)
@@ -1,33 +0,0 @@
-# $Id$
-# Maintainer: Antonio Rojas
-# Contributor: Allan McRae
-# Contributor: ezzetabi
-
-pkgname=ppl
-pkgver=1.2
-pkgrel=1
-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)
-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"
- make
-}
-
-check() {
- cd ppl-$pkgver
- make check
-}
-
-package() {
- cd ppl-$pkgver
- make DESTDIR="$pkgdir" install
-}
Copied: ppl/repos/community-i686/PKGBUILD (from rev 245508, ppl/trunk/PKGBUILD)
===
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2017-07-17 17:59:11 UTC (rev 245509)
@@ -0,0 +1,35 @@
+# $Id$
+# Maintainer: Antonio Rojas
+# Contributor: Allan McRae
+# Contributor: ezzetabi
+
+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
+}
Deleted: community-x86_64/PKGBUILD
===
--- community-x86_64/PKGBUILD 2017-07-17 17:58:40 UTC (rev 245508)
+++ community-x86_64/PKGBUILD 2017-07-17 17:59:11 UTC (rev 245509)
@@ -1,33 +0,0 @@
-# $Id$
-# Maintainer: Antonio Rojas
-# Contributor: Allan McRae
-# Contributor: ezzetabi
-
-pkgname=ppl
-pkgver=1.2
-pkgrel=1
-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)
-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"
- make
-}
-
-check() {
- cd ppl-$pkgver
- make check
-}
-
-package() {
- cd ppl-$pkgver
- make DESTDIR="$pkgdir" install
-}
Copied: ppl/repos/community-x86_64/PKGBUILD (from rev 245508,
ppl/trunk/PKGBUILD)
===
--- community-x86_64/PKGBUILD (rev 0)
+++ community-x86_64/PKGBUILD 2017-07-17 17:59:11 UTC (rev 245509)
@@ -0,0 +1,35 @@
+# $Id$
+# Maintainer: Antonio Rojas
+# Contributor: Allan McRae
+# Contributor: ezzetabi
+
+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
+}
[arch-commits] Commit in ppl/repos (4 files)
Date: Monday, June 6, 2016 @ 18:41:13
Author: arojas
Revision: 178033
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
ppl/repos/community-staging-i686/
ppl/repos/community-staging-i686/PKGBUILD
(from rev 178032, ppl/trunk/PKGBUILD)
ppl/repos/community-staging-x86_64/
ppl/repos/community-staging-x86_64/PKGBUILD
(from rev 178032, ppl/trunk/PKGBUILD)
---+
community-staging-i686/PKGBUILD | 33 +
community-staging-x86_64/PKGBUILD | 33 +
2 files changed, 66 insertions(+)
Copied: ppl/repos/community-staging-i686/PKGBUILD (from rev 178032,
ppl/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-06-06 16:41:13 UTC (rev 178033)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Antonio Rojas
+# Contributor: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.2
+pkgrel=1
+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)
+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"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
Copied: ppl/repos/community-staging-x86_64/PKGBUILD (from rev 178032,
ppl/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD (rev 0)
+++ community-staging-x86_64/PKGBUILD 2016-06-06 16:41:13 UTC (rev 178033)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Antonio Rojas
+# Contributor: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.2
+pkgrel=1
+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)
+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"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
[arch-commits] Commit in ppl/repos (4 files)
Date: Sunday, December 6, 2015 @ 02:01:08
Author: fyan
Revision: 148710
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
ppl/repos/community-staging-i686/
ppl/repos/community-staging-i686/PKGBUILD
(from rev 148709, ppl/trunk/PKGBUILD)
ppl/repos/community-staging-x86_64/
ppl/repos/community-staging-x86_64/PKGBUILD
(from rev 148709, ppl/trunk/PKGBUILD)
---+
community-staging-i686/PKGBUILD | 33 +
community-staging-x86_64/PKGBUILD | 33 +
2 files changed, 66 insertions(+)
Copied: ppl/repos/community-staging-i686/PKGBUILD (from rev 148709,
ppl/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2015-12-06 01:01:08 UTC (rev 148710)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
+validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
Copied: ppl/repos/community-staging-x86_64/PKGBUILD (from rev 148709,
ppl/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD (rev 0)
+++ community-staging-x86_64/PKGBUILD 2015-12-06 01:01:08 UTC (rev 148710)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
+validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
[arch-commits] Commit in ppl/repos (4 files)
Date: Saturday, January 24, 2015 @ 11:28:56
Author: andrea
Revision: 126520
archrelease: copy trunk to community-i686, community-x86_64
Added:
ppl/repos/community-i686/
ppl/repos/community-i686/PKGBUILD
(from rev 126519, ppl/trunk/PKGBUILD)
ppl/repos/community-x86_64/
ppl/repos/community-x86_64/PKGBUILD
(from rev 126519, ppl/trunk/PKGBUILD)
---+
community-i686/PKGBUILD | 32
community-x86_64/PKGBUILD | 32
2 files changed, 64 insertions(+)
Copied: ppl/repos/community-i686/PKGBUILD (from rev 126519, ppl/trunk/PKGBUILD)
===
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2015-01-24 10:28:56 UTC (rev 126520)
@@ -0,0 +1,32 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.1
+pkgrel=1
+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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
Copied: ppl/repos/community-x86_64/PKGBUILD (from rev 126519,
ppl/trunk/PKGBUILD)
===
--- community-x86_64/PKGBUILD (rev 0)
+++ community-x86_64/PKGBUILD 2015-01-24 10:28:56 UTC (rev 126520)
@@ -0,0 +1,32 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.1
+pkgrel=1
+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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
[arch-commits] Commit in ppl/repos (4 files)
Date: Wednesday, October 30, 2013 @ 03:07:55
Author: eric
Revision: 19
archrelease: copy trunk to extra-i686, extra-x86_64
Added:
ppl/repos/extra-i686/PKGBUILD
(from rev 197776, ppl/trunk/PKGBUILD)
ppl/repos/extra-x86_64/PKGBUILD
(from rev 197776, ppl/trunk/PKGBUILD)
Deleted:
ppl/repos/extra-i686/PKGBUILD
ppl/repos/extra-x86_64/PKGBUILD
---+
/PKGBUILD | 64
extra-i686/PKGBUILD | 33
extra-x86_64/PKGBUILD | 33
3 files changed, 64 insertions(+), 66 deletions(-)
Deleted: extra-i686/PKGBUILD
===
--- extra-i686/PKGBUILD 2013-10-30 02:05:19 UTC (rev 197776)
+++ extra-i686/PKGBUILD 2013-10-30 02:07:55 UTC (rev 19)
@@ -1,33 +0,0 @@
-# $Id$
-# Maintainer: Allan McRae
-# Contributor: ezzetabi
-
-pkgname=ppl
-pkgver=1.0
-pkgrel=1
-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>=5.0')
-options=('!docs' '!libtool')
-source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
- '5f490df826c76fed296060ca8fca4eb5')
-
-build() {
- cd $srcdir/ppl-$pkgver
- ./configure --prefix=/usr --enable-interfaces="c,cxx"
- make
-}
-
-check() {
- cd $srcdir/ppl-$pkgver
- make check
-}
-
-package() {
- cd $srcdir/ppl-$pkgver
- make DESTDIR=$pkgdir install
-}
-
Copied: ppl/repos/extra-i686/PKGBUILD (from rev 197776, ppl/trunk/PKGBUILD)
===
--- extra-i686/PKGBUILD (rev 0)
+++ extra-i686/PKGBUILD 2013-10-30 02:07:55 UTC (rev 19)
@@ -0,0 +1,32 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.1
+pkgrel=1
+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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
Deleted: extra-x86_64/PKGBUILD
===
--- extra-x86_64/PKGBUILD 2013-10-30 02:05:19 UTC (rev 197776)
+++ extra-x86_64/PKGBUILD 2013-10-30 02:07:55 UTC (rev 19)
@@ -1,33 +0,0 @@
-# $Id$
-# Maintainer: Allan McRae
-# Contributor: ezzetabi
-
-pkgname=ppl
-pkgver=1.0
-pkgrel=1
-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>=5.0')
-options=('!docs' '!libtool')
-source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
-md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
- '5f490df826c76fed296060ca8fca4eb5')
-
-build() {
- cd $srcdir/ppl-$pkgver
- ./configure --prefix=/usr --enable-interfaces="c,cxx"
- make
-}
-
-check() {
- cd $srcdir/ppl-$pkgver
- make check
-}
-
-package() {
- cd $srcdir/ppl-$pkgver
- make DESTDIR=$pkgdir install
-}
-
Copied: ppl/repos/extra-x86_64/PKGBUILD (from rev 197776, ppl/trunk/PKGBUILD)
===
--- extra-x86_64/PKGBUILD (rev 0)
+++ extra-x86_64/PKGBUILD 2013-10-30 02:07:55 UTC (rev 19)
@@ -0,0 +1,32 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.1
+pkgrel=1
+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')
+options=('!docs')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('4f2422c0ef3f409707af32108deb30a7'
+ 'SKIP')
+
+build() {
+ cd ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd ppl-$pkgver
+ make check
+}
+
+package() {
+ cd ppl-$pkgver
+ make DESTDIR="$pkgdir" install
+}
[arch-commits] Commit in ppl/repos (4 files)
Date: Saturday, June 30, 2012 @ 04:11:58
Author: allan
Revision: 162774
archrelease: copy trunk to staging-i686, staging-x86_64
Added:
ppl/repos/staging-i686/
ppl/repos/staging-i686/PKGBUILD
(from rev 162773, ppl/trunk/PKGBUILD)
ppl/repos/staging-x86_64/
ppl/repos/staging-x86_64/PKGBUILD
(from rev 162773, ppl/trunk/PKGBUILD)
-+
staging-i686/PKGBUILD | 33 +
staging-x86_64/PKGBUILD | 33 +
2 files changed, 66 insertions(+)
Copied: ppl/repos/staging-i686/PKGBUILD (from rev 162773, ppl/trunk/PKGBUILD)
===
--- staging-i686/PKGBUILD (rev 0)
+++ staging-i686/PKGBUILD 2012-06-30 08:11:58 UTC (rev 162774)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.0
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
+ '5f490df826c76fed296060ca8fca4eb5')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd $srcdir/ppl-$pkgver
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+
Copied: ppl/repos/staging-x86_64/PKGBUILD (from rev 162773, ppl/trunk/PKGBUILD)
===
--- staging-x86_64/PKGBUILD (rev 0)
+++ staging-x86_64/PKGBUILD 2012-06-30 08:11:58 UTC (rev 162774)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=1.0
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('c4566928c6b7bb63e95f96d1a7b5cb4c'
+ '5f490df826c76fed296060ca8fca4eb5')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd $srcdir/ppl-$pkgver
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+
[arch-commits] Commit in ppl/repos (4 files)
Date: Tuesday, April 17, 2012 @ 10:12:54
Author: allan
Revision: 156342
archrelease: copy trunk to staging-i686, staging-x86_64
Added:
ppl/repos/staging-i686/
ppl/repos/staging-i686/PKGBUILD
(from rev 156341, ppl/trunk/PKGBUILD)
ppl/repos/staging-x86_64/
ppl/repos/staging-x86_64/PKGBUILD
(from rev 156341, ppl/trunk/PKGBUILD)
-+
staging-i686/PKGBUILD | 33 +
staging-x86_64/PKGBUILD | 33 +
2 files changed, 66 insertions(+)
Copied: ppl/repos/staging-i686/PKGBUILD (from rev 156341, ppl/trunk/PKGBUILD)
===
--- staging-i686/PKGBUILD (rev 0)
+++ staging-i686/PKGBUILD 2012-04-17 14:12:54 UTC (rev 156342)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=0.12.1
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('cec8144f2072ac45a850214cca97d075'
+ '43eeeb147f9d8b3608aead63486c9545')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd $srcdir/ppl-$pkgver
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+
Copied: ppl/repos/staging-x86_64/PKGBUILD (from rev 156341, ppl/trunk/PKGBUILD)
===
--- staging-x86_64/PKGBUILD (rev 0)
+++ staging-x86_64/PKGBUILD 2012-04-17 14:12:54 UTC (rev 156342)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=0.12.1
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('cec8144f2072ac45a850214cca97d075'
+ '43eeeb147f9d8b3608aead63486c9545')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd $srcdir/ppl-$pkgver
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+
[arch-commits] Commit in ppl/repos (4 files)
Date: Tuesday, February 28, 2012 @ 08:56:14
Author: allan
Revision: 151615
archrelease: copy trunk to staging-i686, staging-x86_64
Added:
ppl/repos/staging-i686/
ppl/repos/staging-i686/PKGBUILD
(from rev 151614, ppl/trunk/PKGBUILD)
ppl/repos/staging-x86_64/
ppl/repos/staging-x86_64/PKGBUILD
(from rev 151614, ppl/trunk/PKGBUILD)
-+
staging-i686/PKGBUILD | 33 +
staging-x86_64/PKGBUILD | 33 +
2 files changed, 66 insertions(+)
Copied: ppl/repos/staging-i686/PKGBUILD (from rev 151614, ppl/trunk/PKGBUILD)
===
--- staging-i686/PKGBUILD (rev 0)
+++ staging-i686/PKGBUILD 2012-02-28 13:56:14 UTC (rev 151615)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=0.12
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('47a5548d4e3d98cf6b97e4fd3e5db513'
+ '41869f374e70d0a4d2faa61566365b9d')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd $srcdir/ppl-$pkgver
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+
Copied: ppl/repos/staging-x86_64/PKGBUILD (from rev 151614, ppl/trunk/PKGBUILD)
===
--- staging-x86_64/PKGBUILD (rev 0)
+++ staging-x86_64/PKGBUILD 2012-02-28 13:56:14 UTC (rev 151615)
@@ -0,0 +1,33 @@
+# $Id$
+# Maintainer: Allan McRae
+# Contributor: ezzetabi
+
+pkgname=ppl
+pkgver=0.12
+pkgrel=1
+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>=5.0')
+options=('!docs' '!libtool')
+source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz{,.sign})
+md5sums=('47a5548d4e3d98cf6b97e4fd3e5db513'
+ '41869f374e70d0a4d2faa61566365b9d')
+
+build() {
+ cd $srcdir/ppl-$pkgver
+ ./configure --prefix=/usr --enable-interfaces="c,cxx"
+ make
+}
+
+check() {
+ cd $srcdir/ppl-$pkgver
+ make check
+}
+
+package() {
+ cd $srcdir/ppl-$pkgver
+ make DESTDIR=$pkgdir install
+}
+
