[arch-commits] Commit in ppl/repos/community-x86_64 (PKGBUILD PKGBUILD)
Antonio Rojas
arojas at archlinux.org
Mon Dec 16 20:50:09 UTC 2019
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 <arojas at archlinux.org>
-# Contributor: Allan McRae <allan at 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 <arojas at archlinux.org>
+# Contributor: Allan McRae <allan at 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
+}
More information about the arch-commits
mailing list