Date: Monday, July 23, 2018 @ 16:18:56 Author: foutrelis Revision: 363144
archrelease: copy trunk to community-staging-x86_64 Added: clingo/repos/community-staging-x86_64/ clingo/repos/community-staging-x86_64/PKGBUILD (from rev 363143, clingo/trunk/PKGBUILD) ----------+ PKGBUILD | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) Copied: clingo/repos/community-staging-x86_64/PKGBUILD (from rev 363143, clingo/trunk/PKGBUILD) =================================================================== --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2018-07-23 16:18:56 UTC (rev 363144) @@ -0,0 +1,42 @@ +# $Id$ +# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org> +# Contributor: Vincent Bernardoff <v...@luminar.eu.org> + +pkgname=clingo +pkgver=5.3.0 +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') +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: