[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