mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2024-11-18 22:54:00 +00:00
49 lines
1.1 KiB
Bash
49 lines
1.1 KiB
Bash
|
# $Id$
|
||
|
|
# Maintainer: Alexander F Rødseth <xyproto@archlinux.org>
|
||
|
|
# Contributor: Vincent Bernardoff <vb@luminar.eu.org>
|
||
|
|
|
||
|
|
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
|
||
|
|
# - remove -fno-plt CFLAG for v5 (old llvm)
|
||
|
|
|
||
|
|
pkgname=clingo
|
||
|
|
pkgver=5.2.2
|
||
|
|
pkgrel=5
|
||
|
|
pkgdesc='Grounding tools for (disjunctive) logic programs'
|
||
|
|
arch=('x86_64')
|
||
|
|
url='https://potassco.org/'
|
||
|
|
license=('GPL3')
|
||
|
|
depends=('lua' 'python')
|
||
|
|
makedepends=('clang' 'cmake' 'git' 'ninja' 're2c')
|
||
|
|
conflicts=('clasp')
|
||
|
|
source=("git+https://github.com/potassco/clingo#tag=v$pkgver")
|
||
|
|
md5sums=('SKIP')
|
||
|
|
|
||
|
|
prepare() {
|
||
|
|
sed '/#include <xlocale.h>/d' -i clingo/clasp/libpotassco/src/string_convert.cpp
|
||
|
|
}
|
||
|
|
|
||
|
|
build() {
|
||
|
|
mkdir -p build
|
||
|
|
cd build
|
||
|
|
|
||
|
|
[[ $CARCH == "arm" ]] && CFLAGS=${CFLAGS/-fno-plt/} && CXXFLAGS=${CXXFLAGS/-fno-plt/}
|
||
|
|
|
||
|
|
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
|
||
|
|
}
|
||
|
|
|
||
|
|
# vim: ts=2 sw=2 et:
|