[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