From cf560a843119e90bb2950edc50c7e30c86e970fb Mon Sep 17 00:00:00 2001 From: Anil Madhavapeddy Date: Thu, 1 Dec 2016 18:22:48 +0000 Subject: community/clasp: move from testing to community --- community/clasp/APKBUILD | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 community/clasp/APKBUILD (limited to 'community') diff --git a/community/clasp/APKBUILD b/community/clasp/APKBUILD new file mode 100644 index 0000000000..5c888b9cec --- /dev/null +++ b/community/clasp/APKBUILD @@ -0,0 +1,29 @@ +# Contributor: Anil Madhavapeddy +# Maintainer: Anil Madhavapeddy +pkgname=clasp +pkgver=3.1.3 +pkgrel=0 +pkgdesc="Answer set solver for (extended) normal logic programs" +url="http://potassco.sourceforge.net/" +arch="all" +license="LGPL3" +depends="" +makedepends="bash" +install="" +subpackages="" +source="https://downloads.sourceforge.net/project/potassco/clasp/${pkgver}/clasp-${pkgver}-source.tar.gz" +builddir="$srcdir"/$pkgname-$pkgver + +build() { + cd "$builddir" + ./configure.sh --config=release --prefix=/usr || return 1 + make -C build/release || return 1 +} + +package() { + install -Dm755 "${builddir}/build/release/bin/clasp" ${pkgdir}/usr/bin/clasp || return 1 +} + +md5sums="d3017281840e0d348af277c4624d27cd clasp-3.1.3-source.tar.gz" +sha256sums="f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f clasp-3.1.3-source.tar.gz" +sha512sums="652c1942ab7aa4009068f34f2ff2032a24153e3073f9e211d31a65e5649e2c0727d04b411b88e5f6fde4dc47b0fe6fa35b2e3daeff9e4b99ae1cb81f17c09df7 clasp-3.1.3-source.tar.gz" -- cgit v1.2.3