blob: 475c376bfc4db4d9dcaa815e726fbca7c1374301 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
# Maintainer: Andrew Sun <adsun701 at gmail dot com>
# Contributor: Alexander F. Rødseth <xyproto@archlinux.org>
# Contributor: Vincent Bernardoff <vb@luminar.eu.org>
pkgname=clingo
pkgver=5.4.0
pkgrel=1
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('i686' 'x86_64' 'pentium4')
url='https://potassco.org/'
license=('MIT')
depends=('lua' 'python')
makedepends=('clang' 'cmake' 'git' 'ninja' 're2c')
conflicts=('clasp')
source=("git+https://github.com/potassco/clingo#tag=v${pkgver}")
sha256sums=('SKIP')
prepare() {
sed '/#include <xlocale.h>/d' -i "${srcdir}"/clingo/clasp/libpotassco/src/string_convert.cpp
}
build() {
mkdir -p ${srcdir}/build
cd ${srcdir}/build
cmake "../${pkgname}" \
-DCMAKE_INSTALL_PREFIX=/usr \
-DCMAKE_INSTALL_LIBDIR=lib \
-DCLINGO_REQUIRE_PYTHON=ON \
-DCLINGO_BUILD_PY_SHARED=ON \
-DPYCLINGO_USER_INSTALL=OFF \
-DCLINGO_REQUIRE_LUA=ON \
-DCLINGO_BUILD_LUA_SHARED=ON \
-DCMAKE_CXX_COMPILER=clang++ \
-G Ninja
ninja
}
package() {
DESTDIR="${pkgdir}" ninja -C build install
install -Dm644 "${srcdir}/${pkgname}/LICENSE.md" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.md"
}
# vim: ts=2 sw=2 et:
|