mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-01-05 16:52:06 +01:00
30 lines
1.0 KiB
Plaintext
30 lines
1.0 KiB
Plaintext
# 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"
|