blob: 5c888b9cec99451ddd667f947c708fd8b37e237e (
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=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"
|
