diff options
Diffstat (limited to 'community/clasp')
| -rw-r--r-- | community/clasp/APKBUILD | 29 |
1 files changed, 29 insertions, 0 deletions
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 <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" |