diff options
Diffstat (limited to 'community/clasp/APKBUILD')
| -rw-r--r-- | community/clasp/APKBUILD | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/community/clasp/APKBUILD b/community/clasp/APKBUILD index f6892c87c54..38535634f10 100644 --- a/community/clasp/APKBUILD +++ b/community/clasp/APKBUILD @@ -1,38 +1,36 @@ # Contributor: Anil Madhavapeddy <anil@recoil.org> -# Maintainer: +# Maintainer: Celeste <cielesti@protonmail.com> pkgname=clasp -pkgver=3.3.7 +pkgver=3.3.10 pkgrel=0 pkgdesc="Answer set solver for (extended) normal logic programs" url="https://potassco.org/" arch="all" license="MIT" -makedepends="cmake" +makedepends="cmake samurai" source="https://github.com/potassco/clasp/releases/download/v$pkgver/clasp-$pkgver-source.tar.gz" build() { if [ "$CBUILD" != "$CHOST" ]; then CMAKE_CROSSOPTS="-DCMAKE_SYSTEM_NAME=Linux -DCMAKE_HOST_SYSTEM_NAME=Linux" fi - cmake \ + cmake -B build -G Ninja \ -DCMAKE_BUILD_TYPE=MinSizeRel \ -DCMAKE_INSTALL_PREFIX=/usr \ -DCLASP_BUILD_APP=ON \ -DCLASP_BUILD_TESTS=ON \ - -DCMAKE_CXX_FLAGS="$CXXFLAGS" \ - -DCMAKE_C_FLAGS="$CFLAGS" \ - ${CMAKE_CROSSOPTS} . - make + $CMAKE_CROSSOPTS + cmake --build build } check() { - make test CTEST_OUTPUT_ON_FAILURE=1 + CTEST_OUTPUT_ON_FAILURE=1 ninja -C build test } package() { - make DESTDIR="$pkgdir" install + DESTDIR="$pkgdir" cmake --install build } sha512sums=" -09b6ed2ac4112261b706444122a88403d70b4714efaca04bb3c6510fb40b7bdd00b23fda10d94457d1a7f97d471516d6f6de9d46cf8ac9d2c23d7c4f97c83475 clasp-3.3.7-source.tar.gz +6b6c173110c88745858758db8d6a80e906c2deb9a54919c480b50b7f70a607c1e30745d26e18f8460122d5c384c394412ff255a8c72ae05ba10ae532036d3376 clasp-3.3.10-source.tar.gz " |