diff options
| author | TBK <tbk@jjtc.eu> | 2020-02-26 00:03:30 +0100 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2020-02-25 20:11:57 -0300 |
| commit | da170b26cefa49576797fe5e4686eca2c6655cfb (patch) | |
| tree | 2e42c2b048707122a5072780ac6cf4bd9c61ba98 /community/clasp | |
| parent | 9b2f00c9a40173536a23b6f06ffb12acc23b6d7a (diff) | |
| download | aports-da170b26cefa49576797fe5e4686eca2c6655cfb.tar.bz2 aports-da170b26cefa49576797fe5e4686eca2c6655cfb.tar.xz | |
community/clasp: upgrade to 3.3.5
Diffstat (limited to 'community/clasp')
| -rw-r--r-- | community/clasp/APKBUILD | 37 |
1 files changed, 23 insertions, 14 deletions
diff --git a/community/clasp/APKBUILD b/community/clasp/APKBUILD index 3577de1fc0..10b9f41ac6 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" |