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

Felix Yan felixonmars at archlinux.org
Tue Jul 7 14:04:51 UTC 2020


    Date: Tuesday, July 7, 2020 @ 14:04:51
  Author: felixonmars
Revision: 658696

archrelease: copy trunk to community-staging-x86_64

Added:
  clasp/repos/community-staging-x86_64/
  clasp/repos/community-staging-x86_64/PKGBUILD
    (from rev 658694, clasp/trunk/PKGBUILD)

----------+
 PKGBUILD |   30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

Copied: clasp/repos/community-staging-x86_64/PKGBUILD (from rev 658694, clasp/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD	                        (rev 0)
+++ community-staging-x86_64/PKGBUILD	2020-07-07 14:04:51 UTC (rev 658696)
@@ -0,0 +1,30 @@
+# Maintainer: Alexander F. Rødseth <xyproto at archlinux.org>
+# Contributor: Vincent Bernardoff <vb at luminar.eu.org>
+
+pkgname=clasp
+pkgver=3.3.5
+pkgrel=2
+pkgdesc='Answer set solver'
+arch=('x86_64')
+url='https://potassco.org/'
+license=('GPL3')
+makedepends=('cmake' 'git' 'ninja')
+conflicts=('clingo')
+source=("git+https://github.com/potassco/clasp.git#tag=v$pkgver")
+md5sums=('SKIP')
+
+build() {
+  mkdir -p build
+  cd build
+  cmake "../$pkgname" \
+    -DCMAKE_INSTALL_PREFIX=/usr \
+    -G Ninja
+  ninja
+}
+
+package() {
+  DESTDIR="$pkgdir" ninja -C build install
+}
+
+# getver: github.com/potassco/clasp/releases
+# vim: ts=2 sw=2 et:


More information about the arch-commits mailing list