mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-06-06 19:14:48 +02:00
37 lines
1,006 B
Text
37 lines
1,006 B
Text
# Contributor: Anil Madhavapeddy <anil@recoil.org>
|
|
# Maintainer: Celeste <cielesti@protonmail.com>
|
|
maintainer="Celeste <cielesti@protonmail.com>"
|
|
pkgname=clasp
|
|
pkgver=3.4.0
|
|
pkgrel=0
|
|
pkgdesc="Answer set solver for (extended) normal logic programs"
|
|
url="https://potassco.org/"
|
|
arch="all"
|
|
license="MIT"
|
|
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 -B build -G Ninja \
|
|
-DCMAKE_BUILD_TYPE=MinSizeRel \
|
|
-DCMAKE_INSTALL_PREFIX=/usr \
|
|
-DCLASP_BUILD_APP=ON \
|
|
-DCLASP_BUILD_TESTS=ON \
|
|
$CMAKE_CROSSOPTS
|
|
cmake --build build
|
|
}
|
|
|
|
check() {
|
|
ctest --test-dir build
|
|
}
|
|
|
|
package() {
|
|
DESTDIR="$pkgdir" cmake --install build
|
|
}
|
|
|
|
sha512sums="
|
|
a1a9ceb8a612496422744a20667c5efbb95ad4616081a402e1eeeb56752085b361eb5ed5abebfd62a815353d2cd5f964750e8b10dc316b2d4bec1bd8bf022e62 clasp-3.4.0-source.tar.gz
|
|
"
|