[arch-commits] Commit in clingo/repos/community-x86_64 (PKGBUILD PKGBUILD)

Alexander Rødseth arodseth at archlinux.org
Mon Nov 20 14:23:35 UTC 2017


    Date: Monday, November 20, 2017 @ 14:23:33
  Author: arodseth
Revision: 267596

archrelease: copy trunk to community-x86_64

Added:
  clingo/repos/community-x86_64/PKGBUILD
    (from rev 267595, clingo/trunk/PKGBUILD)
Deleted:
  clingo/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |   86 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 43 insertions(+), 43 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2017-11-20 14:23:15 UTC (rev 267595)
+++ PKGBUILD	2017-11-20 14:23:33 UTC (rev 267596)
@@ -1,43 +0,0 @@
-# $Id$
-# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
-# Contributor: Vincent Bernardoff <vb at luminar.eu.org>
-
-pkgname=clingo
-pkgver=5.2.2
-pkgrel=4
-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:

Copied: clingo/repos/community-x86_64/PKGBUILD (from rev 267595, clingo/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2017-11-20 14:23:33 UTC (rev 267596)
@@ -0,0 +1,43 @@
+# $Id$
+# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
+# Contributor: Vincent Bernardoff <vb at luminar.eu.org>
+
+pkgname=clingo
+pkgver=5.2.2
+pkgrel=5
+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:


More information about the arch-commits mailing list