mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-06-09 08:05:13 +02:00
40 lines
1.1 KiB
Text
40 lines
1.1 KiB
Text
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
# Maintainer: Celeste <cielesti@protonmail.com>
|
|
maintainer="Celeste <cielesti@protonmail.com>"
|
|
pkgname=clingo
|
|
pkgver=5.8.0
|
|
pkgrel=0
|
|
pkgdesc="Grounder and solver for logic programs"
|
|
url="https://potassco.org/clingo/"
|
|
arch="all"
|
|
license="MIT"
|
|
depends="!clasp" # both provide /usr/bin/clasp
|
|
makedepends="python3-dev cmake samurai"
|
|
subpackages="$pkgname-dev $pkgname-libs py3-$pkgname:py"
|
|
options="!check"
|
|
source="https://github.com/potassco/clingo/archive/v$pkgver/clingo-$pkgver.tar.gz"
|
|
replaces="gringo" # backwards compatibility
|
|
|
|
build() {
|
|
cmake -B build -G Ninja \
|
|
-DCMAKE_INSTALL_PREFIX=/usr \
|
|
-DCMAKE_INSTALL_LIBDIR=lib \
|
|
-DCMAKE_BUILD_TYPE=None \
|
|
-DCLINGO_BUILD_TESTS="$(want_check && echo ON || echo OFF)"
|
|
cmake --build build
|
|
}
|
|
|
|
package() {
|
|
DESTDIR="$pkgdir" cmake --install build
|
|
}
|
|
|
|
py() {
|
|
pkgdesc="Python bindings for clingo"
|
|
depends="python3"
|
|
|
|
amove usr/lib/python*
|
|
}
|
|
|
|
sha512sums="
|
|
00fa597c5519419fc84240007c2052556048ceb7a7dc289629e2575bcbe37ce8deaf631f5298306ca9fda6b17650d64fb2c9fe4e9a149aeebdddc38be95b6f10 clingo-5.8.0.tar.gz
|
|
"
|