diff options
author | Anil Madhavapeddy <anil@recoil.org> | 2016-12-01 16:15:24 +0000 |
---|---|---|
committer | Natanael Copa <ncopa@alpinelinux.org> | 2016-12-01 16:52:58 +0000 |
commit | 45f90febab577b168b5b6e1321137e492710419f (patch) | |
tree | 4e43cf203b17f57d7a058fa2021cd399b6935616 | |
parent | 00f236da2d2456b15cd603f8d2f95d5c9acc2903 (diff) | |
download | aports-45f90febab577b168b5b6e1321137e492710419f.tar.bz2 aports-45f90febab577b168b5b6e1321137e492710419f.tar.xz |
testing/clasp: new aport
-rw-r--r-- | testing/clasp/APKBUILD | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/testing/clasp/APKBUILD b/testing/clasp/APKBUILD new file mode 100644 index 0000000000..5c888b9cec --- /dev/null +++ b/testing/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" |