Skip to content
Snippets Groups Projects
Commit 360d79e5 authored by alice's avatar alice
Browse files

community/clasp: upgrade to 3.3.9

parent 02777f30
No related merge requests found
# Contributor: Anil Madhavapeddy <anil@recoil.org> # Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: # Maintainer:
pkgname=clasp pkgname=clasp
pkgver=3.3.7 pkgver=3.3.9
pkgrel=0 pkgrel=0
pkgdesc="Answer set solver for (extended) normal logic programs" pkgdesc="Answer set solver for (extended) normal logic programs"
url="https://potassco.org/" url="https://potassco.org/"
arch="all" arch="all"
license="MIT" license="MIT"
makedepends="cmake" makedepends="cmake samurai"
source="https://github.com/potassco/clasp/releases/download/v$pkgver/clasp-$pkgver-source.tar.gz" source="https://github.com/potassco/clasp/releases/download/v$pkgver/clasp-$pkgver-source.tar.gz"
build() { build() {
if [ "$CBUILD" != "$CHOST" ]; then if [ "$CBUILD" != "$CHOST" ]; then
CMAKE_CROSSOPTS="-DCMAKE_SYSTEM_NAME=Linux -DCMAKE_HOST_SYSTEM_NAME=Linux" CMAKE_CROSSOPTS="-DCMAKE_SYSTEM_NAME=Linux -DCMAKE_HOST_SYSTEM_NAME=Linux"
fi fi
cmake \ cmake -B build -G Ninja \
-DCMAKE_BUILD_TYPE=MinSizeRel \ -DCMAKE_BUILD_TYPE=MinSizeRel \
-DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_INSTALL_PREFIX=/usr \
-DCLASP_BUILD_APP=ON \ -DCLASP_BUILD_APP=ON \
-DCLASP_BUILD_TESTS=ON \ -DCLASP_BUILD_TESTS=ON \
-DCMAKE_CXX_FLAGS="$CXXFLAGS" \ $CMAKE_CROSSOPTS
-DCMAKE_C_FLAGS="$CFLAGS" \ cmake --build build
$CMAKE_CROSSOPTS .
make
} }
check() { check() {
make test CTEST_OUTPUT_ON_FAILURE=1 CTEST_OUTPUT_ON_FAILURE=1 ninja -C build test
} }
package() { package() {
make DESTDIR="$pkgdir" install DESTDIR="$pkgdir" cmake --install build
} }
sha512sums=" sha512sums="
09b6ed2ac4112261b706444122a88403d70b4714efaca04bb3c6510fb40b7bdd00b23fda10d94457d1a7f97d471516d6f6de9d46cf8ac9d2c23d7c4f97c83475 clasp-3.3.7-source.tar.gz 36cf171dfe825deae2f0ecaa1cae11a84d7cf1711f3e568ae001473f3aeb9fa28006ee66eb09cbfb56c2b040ae816d9b836d84c3842fea1155259fca9b2ad698 clasp-3.3.9-source.tar.gz
" "
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment