[arch-commits] Commit in clingo/trunk (PKGBUILD)
Alexander Rødseth
arodseth at archlinux.org
Mon Nov 20 13:19:57 UTC 2017
Date: Monday, November 20, 2017 @ 13:19:56
Author: arodseth
Revision: 267556
upgpkg: clingo 5.2.2-3
Modified:
clingo/trunk/PKGBUILD
----------+
PKGBUILD | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-11-20 13:14:34 UTC (rev 267555)
+++ PKGBUILD 2017-11-20 13:19:56 UTC (rev 267556)
@@ -4,7 +4,7 @@
pkgname=clingo
pkgver=5.2.2
-pkgrel=2
+pkgrel=3
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('x86_64')
url='https://potassco.org/'
@@ -11,8 +11,9 @@
license=('GPL3')
depends=('lua' 'python')
makedepends=('clang' 'cmake' 'git' 'ninja' 're2c')
+provides=('clingo' 'clasp')
conflicts=('clasp')
-provides=('clasp')
+replaces=('clasp' 'clingo')
source=("git+https://github.com/potassco/clingo#tag=v$pkgver")
md5sums=('SKIP')
@@ -26,6 +27,7 @@
cmake "../$pkgname" \
-DCMAKE_INSTALL_PREFIX=/usr \
+ -DCMAKE_INSTALL_LIBDIR=lib \
-DCLINGO_REQUIRE_PYTHON=ON \
-DCLINGO_BUILD_PY_SHARED=ON \
-DPYCLINGO_USER_INSTALL=OFF \
More information about the arch-commits
mailing list