diff options
author | Andrew Sun | 2019-09-01 15:36:44 -0400 |
---|---|---|
committer | Andrew Sun | 2019-09-01 15:36:44 -0400 |
commit | 5712f75d41e7bcb52f6fd62ce3bcc8a00162fe89 (patch) | |
tree | 4fb95808f00ed13ad8bc9804bef34ab8870ad4a5 | |
parent | 0b1fef7a72f32cf23ab17181a4ff980df94a7889 (diff) | |
download | aur-5712f75d41e7bcb52f6fd62ce3bcc8a00162fe89.tar.gz |
clingo: update to 5.4.0
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 20 |
2 files changed, 14 insertions, 16 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Wed Mar 27 15:19:17 UTC 2019 pkgbase = clingo pkgdesc = Grounding tools for (disjunctive) logic programs - pkgver = 5.3.0 - pkgrel = 2 + pkgver = 5.4.0 + pkgrel = 1 url = https://potassco.org/ arch = x86_64 license = GPL3 @@ -15,8 +13,8 @@ pkgbase = clingo depends = lua depends = python conflicts = clasp - source = git+https://github.com/potassco/clingo#tag=v5.3.0 - md5sums = SKIP + source = git+https://github.com/potassco/clingo#tag=v5.4.0 + sha256sums = SKIP pkgname = clingo @@ -1,10 +1,10 @@ -# Maintainer: +# 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.3.0 -pkgrel=2 +pkgver=5.4.0 +pkgrel=1 pkgdesc='Grounding tools for (disjunctive) logic programs' arch=('x86_64') url='https://potassco.org/' @@ -12,17 +12,17 @@ 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') +source=("git+https://github.com/potassco/clingo#tag=v${pkgver}") +sha256sums=('SKIP') prepare() { - sed '/#include <xlocale.h>/d' -i clingo/clasp/libpotassco/src/string_convert.cpp + sed '/#include <xlocale.h>/d' -i "${srcdir}"/clingo/clasp/libpotassco/src/string_convert.cpp } build() { - mkdir -p build - cd build - cmake "../$pkgname" \ + mkdir -p ${srcdir}/build + cd ${srcdir}/build + cmake "../${pkgname}" \ -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_INSTALL_LIBDIR=lib \ -DCLINGO_REQUIRE_PYTHON=ON \ @@ -36,7 +36,7 @@ build() { } package() { - DESTDIR="$pkgdir" ninja -C build install + DESTDIR="${pkgdir}" ninja -C build install } # vim: ts=2 sw=2 et: |