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

[Evangelos Foutras]

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