Date: Sunday, November 27, 2016 @ 11:55:53 Author: arodseth Revision: 197008
archrelease: copy trunk to community-x86_64, community-i686 Added: clingo/repos/community-i686/PKGBUILD (from rev 197006, clingo/trunk/PKGBUILD) clingo/repos/community-x86_64/PKGBUILD (from rev 197006, clingo/trunk/PKGBUILD) ---------------------------+ community-i686/PKGBUILD | 40 ++++++++++++++++++++++++++++++++++++++++ community-x86_64/PKGBUILD | 40 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 80 insertions(+) Copied: clingo/repos/community-i686/PKGBUILD (from rev 197006, clingo/trunk/PKGBUILD) =================================================================== --- community-i686/PKGBUILD (rev 0) +++ community-i686/PKGBUILD 2016-11-27 11:55:53 UTC (rev 197008) @@ -0,0 +1,40 @@ +# $Id$ +# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> +# Contributor: Vincent Bernardoff <v...@luminar.eu.org> + +pkgname=clingo +pkgver=5.1.0 +pkgrel=1 +pkgdesc='Grounding tools for (disjunctive) logic programs' +arch=('x86_64' 'i686') +url='https://potassco.org/' +license=('GPL3') +depends=('python2') +makedepends=('bison' 're2c' 'scons') +source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz") +sha256sums=('c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a') + +build() { + cd "$pkgname-$pkgver" + + scons --build-dir=release +} + +package() { + cd "$pkgname-$pkgver/build/release" + + install -D gringo ${pkgdir}/usr/bin/gringo + install -D clingo ${pkgdir}/usr/bin/clingo + install -D reify ${pkgdir}/usr/bin/reify + install -D lpconvert ${pkgdir}/usr/bin/lpconvert + + if [ -x "python/clingo.so" ]; then + install -D "python/clingo.so" ${pkgdir}/usr/lib/libclingo_python.so + fi + + if [ -x "lua/clingo.so" ]; then + install -D "lua/clingo.so" ${pkgdir}/usr/lib/libclingo_lua.so + fi +} + +# vim:set ts=2 sw=2 et: Copied: clingo/repos/community-x86_64/PKGBUILD (from rev 197006, clingo/trunk/PKGBUILD) =================================================================== --- community-x86_64/PKGBUILD (rev 0) +++ community-x86_64/PKGBUILD 2016-11-27 11:55:53 UTC (rev 197008) @@ -0,0 +1,40 @@ +# $Id$ +# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> +# Contributor: Vincent Bernardoff <v...@luminar.eu.org> + +pkgname=clingo +pkgver=5.1.0 +pkgrel=1 +pkgdesc='Grounding tools for (disjunctive) logic programs' +arch=('x86_64' 'i686') +url='https://potassco.org/' +license=('GPL3') +depends=('python2') +makedepends=('bison' 're2c' 'scons') +source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz") +sha256sums=('c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a') + +build() { + cd "$pkgname-$pkgver" + + scons --build-dir=release +} + +package() { + cd "$pkgname-$pkgver/build/release" + + install -D gringo ${pkgdir}/usr/bin/gringo + install -D clingo ${pkgdir}/usr/bin/clingo + install -D reify ${pkgdir}/usr/bin/reify + install -D lpconvert ${pkgdir}/usr/bin/lpconvert + + if [ -x "python/clingo.so" ]; then + install -D "python/clingo.so" ${pkgdir}/usr/lib/libclingo_python.so + fi + + if [ -x "lua/clingo.so" ]; then + install -D "lua/clingo.so" ${pkgdir}/usr/lib/libclingo_lua.so + fi +} + +# vim:set ts=2 sw=2 et: