[arch-commits] Commit in clingo/repos/community-x86_64 (PKGBUILD PKGBUILD)
Alexander Rødseth
arodseth at archlinux.org
Wed Sep 27 11:12:50 UTC 2017
Date: Wednesday, September 27, 2017 @ 11:12:49
Author: arodseth
Revision: 260656
archrelease: copy trunk to community-x86_64
Added:
clingo/repos/community-x86_64/PKGBUILD
(from rev 260655, clingo/trunk/PKGBUILD)
Deleted:
clingo/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 82 +++++++++++++++++++++++++++++++------------------------------
1 file changed, 43 insertions(+), 39 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-27 11:12:35 UTC (rev 260655)
+++ PKGBUILD 2017-09-27 11:12:49 UTC (rev 260656)
@@ -1,39 +0,0 @@
-# $Id$
-# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
-# Contributor: Vincent Bernardoff <vb at luminar.eu.org>
-
-pkgname=clingo
-pkgver=5.2.0
-pkgrel=3
-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')
-conflicts=('clasp' 'gringo')
-provides=('clasp' 'gringo')
-source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz")
-sha256sums=('57d8979b0972a091e1921309ca9ba9c18dd0cf83afcfb1586a8c0bff54ed8b9b')
-
-build() {
- mkdir -p build
- cd build
-
- cmake "../$pkgname-$pkgver" \
- -DCMAKE_INSTALL_PREFIX=/usr \
- -DCLINGO_REQUIRE_PYTHON=ON \
- -DCLINGO_BUILD_PY_SHARED=ON \
- -DPYCLINGO_USER_INSTALL=OFF \
- -DCLINGO_REQUIRE_LUA=ON \
- -DCLINGO_BUILD_LUA_SHARED=ON \
- -DCMAKE_CXX_COMPILER=clang++ \
- -G Ninja
- ninja
-}
-
-package() {
- DESTDIR="$pkgdir" ninja -C build install
-}
-
-# vim: ts=2 sw=2 et:
Copied: clingo/repos/community-x86_64/PKGBUILD (from rev 260655, clingo/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2017-09-27 11:12:49 UTC (rev 260656)
@@ -0,0 +1,43 @@
+# $Id$
+# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
+# Contributor: Vincent Bernardoff <vb at luminar.eu.org>
+
+pkgname=clingo
+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' 'clang' 'git')
+conflicts=('clasp' 'gringo')
+provides=('clasp' 'gringo')
+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" \
+ -DCMAKE_INSTALL_PREFIX=/usr \
+ -DCLINGO_REQUIRE_PYTHON=ON \
+ -DCLINGO_BUILD_PY_SHARED=ON \
+ -DPYCLINGO_USER_INSTALL=OFF \
+ -DCLINGO_REQUIRE_LUA=ON \
+ -DCLINGO_BUILD_LUA_SHARED=ON \
+ -DCMAKE_CXX_COMPILER=clang++ \
+ -G Ninja
+ ninja
+}
+
+package() {
+ DESTDIR="$pkgdir" ninja -C build install
+}
+
+# vim:ts=2 sw=2 et:
More information about the arch-commits
mailing list