aboutsummaryrefslogtreecommitdiffstats
path: root/community/clasp/APKBUILD
blob: 7a5b8392230ff899384a62a57aaa46c1c4893bcf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
pkgname=clasp
pkgver=3.1.3
pkgrel=1
pkgdesc="Answer set solver for (extended) normal logic programs"
url="https://potassco.org/"
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"