Date: Monday, November 20, 2017 @ 13:20:11 Author: arodseth Revision: 267557
archrelease: copy trunk to community-x86_64 Added: clingo/repos/community-x86_64/PKGBUILD (from rev 267556, clingo/trunk/PKGBUILD) Deleted: clingo/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 88 +++++++++++++++++++++++++++++++------------------------------ 1 file changed, 45 insertions(+), 43 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2017-11-20 13:19:56 UTC (rev 267556) +++ PKGBUILD 2017-11-20 13:20:11 UTC (rev 267557) @@ -1,43 +0,0 @@ -# $Id$ -# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> -# Contributor: Vincent Bernardoff <v...@luminar.eu.org> - -pkgname=clingo -pkgver=5.2.2 -pkgrel=2 -pkgdesc='Grounding tools for (disjunctive) logic programs' -arch=('x86_64') -url='https://potassco.org/' -license=('GPL3') -depends=('lua' 'python') -makedepends=('clang' 'cmake' 'git' 'ninja' 're2c') -conflicts=('clasp') -provides=('clasp') -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: Copied: clingo/repos/community-x86_64/PKGBUILD (from rev 267556, clingo/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2017-11-20 13:20:11 UTC (rev 267557) @@ -0,0 +1,45 @@ +# $Id$ +# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> +# Contributor: Vincent Bernardoff <v...@luminar.eu.org> + +pkgname=clingo +pkgver=5.2.2 +pkgrel=3 +pkgdesc='Grounding tools for (disjunctive) logic programs' +arch=('x86_64') +url='https://potassco.org/' +license=('GPL3') +depends=('lua' 'python') +makedepends=('clang' 'cmake' 'git' 'ninja' 're2c') +provides=('clingo' 'clasp') +conflicts=('clasp') +replaces=('clasp' 'clingo') +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 \ + -DCMAKE_INSTALL_LIBDIR=lib \ + -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: