[arch-commits] Commit in clingo/repos (2 files)

[Alexander Rødseth]

    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 <xyproto at archlinux.org>
+# Contributor: Vincent Bernardoff <vb at 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 <xyproto at archlinux.org>
+# Contributor: Vincent Bernardoff <vb at 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: