[arch-commits] Commit in clingo/trunk (PKGBUILD)
Alexander Rødseth
arodseth at archlinux.org
Wed Sep 27 11:12:38 UTC 2017
Date: Wednesday, September 27, 2017 @ 11:12:35
Author: arodseth
Revision: 260655
upgpkg: clingo 5.2.1-1
Modified:
clingo/trunk/PKGBUILD
----------+
PKGBUILD | 18 +++++++++++-------
1 file changed, 11 insertions(+), 7 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-27 10:22:59 UTC (rev 260654)
+++ PKGBUILD 2017-09-27 11:12:35 UTC (rev 260655)
@@ -3,24 +3,28 @@
# Contributor: Vincent Bernardoff <vb at luminar.eu.org>
pkgname=clingo
-pkgver=5.2.0
-pkgrel=3
+pkgver=5.2.1
+pkgrel=1
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('x86_64')
url='https://potassco.org/'
license=('GPL3')
depends=('python' 'lua')
-makedepends=('bison' 're2c' 'cmake' 'ninja' 'python' 'lua' 'clang')
+makedepends=('bison' 're2c' 'cmake' 'ninja' 'clang' 'git')
conflicts=('clasp' 'gringo')
provides=('clasp' 'gringo')
-source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz")
-sha256sums=('57d8979b0972a091e1921309ca9ba9c18dd0cf83afcfb1586a8c0bff54ed8b9b')
+source=("git+https://github.com/potassco/clingo#tag=v$pkgver")
+md5sums=('SKIP')
+prepare() {
+ sed '/#include <xlocale.h>/d' -i clingo/clasp/libpotassco/src/string_convert.cpp
+}
+
build() {
mkdir -p build
cd build
- cmake "../$pkgname-$pkgver" \
+ cmake "../$pkgname" \
-DCMAKE_INSTALL_PREFIX=/usr \
-DCLINGO_REQUIRE_PYTHON=ON \
-DCLINGO_BUILD_PY_SHARED=ON \
@@ -36,4 +40,4 @@
DESTDIR="$pkgdir" ninja -C build install
}
-# vim: ts=2 sw=2 et:
+# vim:ts=2 sw=2 et:
More information about the arch-commits
mailing list