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 \