aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTBK <tbk@jjtc.eu>2020-02-26 00:03:30 +0100
committerLeo <thinkabit.ukim@gmail.com>2020-02-25 20:11:57 -0300
commitda170b26cefa49576797fe5e4686eca2c6655cfb (patch)
tree2e42c2b048707122a5072780ac6cf4bd9c61ba98
parent9b2f00c9a40173536a23b6f06ffb12acc23b6d7a (diff)
community/clasp: upgrade to 3.3.5
-rw-r--r--community/clasp/APKBUILD37
1 files changed, 23 insertions, 14 deletions
diff --git a/community/clasp/APKBUILD b/community/clasp/APKBUILD
index 3577de1fc0f..10b9f41ac6d 100644
--- a/community/clasp/APKBUILD
+++ b/community/clasp/APKBUILD
@@ -1,27 +1,36 @@
# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
pkgname=clasp
-pkgver=3.1.3
-pkgrel=1
+pkgver=3.3.5
+pkgrel=0
pkgdesc="Answer set solver for (extended) normal logic programs"
url="https://potassco.org/"
arch="all"
-license="LGPL-3.0"
-depends=""
-makedepends="bash"
-install=""
-subpackages=""
-source="https://downloads.sourceforge.net/project/potassco/clasp/${pkgver}/clasp-${pkgver}-source.tar.gz"
-builddir="$srcdir"/$pkgname-$pkgver
+license="MIT"
+makedepends="cmake"
+source="https://github.com/potassco/clasp/releases/download/v3.3.5/clasp-$pkgver-source.tar.gz"
build() {
- cd "$builddir"
- ./configure.sh --config=release --prefix=/usr || return 1
- make -C build/release || return 1
+ if [ "$CBUILD" != "$CHOST" ]; then
+ CMAKE_CROSSOPTS="-DCMAKE_SYSTEM_NAME=Linux -DCMAKE_HOST_SYSTEM_NAME=Linux"
+ fi
+ cmake \
+ -DCMAKE_BUILD_TYPE=None \
+ -DCMAKE_INSTALL_PREFIX=/usr \
+ -DCLASP_BUILD_APP=ON \
+ -DCLASP_BUILD_TESTS=ON \
+ -DCMAKE_CXX_FLAGS="$CXXFLAGS" \
+ -DCMAKE_C_FLAGS="$CFLAGS" \
+ ${CMAKE_CROSSOPTS} .
+ make
+}
+
+check() {
+ make test CTEST_OUTPUT_ON_FAILURE=1
}
package() {
- install -Dm755 "${builddir}/build/release/bin/clasp" ${pkgdir}/usr/bin/clasp || return 1
+ make DESTDIR="$pkgdir" install
}
-sha512sums="652c1942ab7aa4009068f34f2ff2032a24153e3073f9e211d31a65e5649e2c0727d04b411b88e5f6fde4dc47b0fe6fa35b2e3daeff9e4b99ae1cb81f17c09df7 clasp-3.1.3-source.tar.gz"
+sha512sums="2b0a877271a92adbb3c16ce0de6b36b9bd5054098e668cee7beb79c4d8eace24a5ecc20e053ba30d8a6b7b0942e229f685b2a71918fe14699a5e1819033b8d79 clasp-3.3.5-source.tar.gz"