diff options
author | Andrew Sun | 2020-12-06 19:14:34 -0500 |
---|---|---|
committer | Andrew Sun | 2020-12-06 19:14:34 -0500 |
commit | 10f8c03be8c3bf303cd4ba704c78c12bfa850e29 (patch) | |
tree | a5378efd0fff77cc263a9dff7751e85cc3dcbdca /PKGBUILD | |
parent | c4cb03a1b593ffb63834e42b7a4eeb8ced114820 (diff) | |
download | aur-10f8c03be8c3bf303cd4ba704c78c12bfa850e29.tar.gz |
5.4.1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 14 |
1 files changed, 4 insertions, 10 deletions
@@ -3,8 +3,8 @@ # Contributor: Vincent Bernardoff <vb@luminar.eu.org> pkgname=clingo -pkgver=5.4.0 -pkgrel=2 +pkgver=5.4.1 +pkgrel=1 pkgdesc='Grounding tools for (disjunctive) logic programs' arch=('i686' 'x86_64' 'pentium4') url='https://potassco.org/' @@ -12,17 +12,11 @@ license=('MIT') depends=('lua' 'python') makedepends=('clang' 'cmake' 'git' 'ninja' 're2c') conflicts=('clasp') -source=("git+https://github.com/potassco/clingo#tag=v${pkgver}" - "python38-fix.patch") -sha256sums=('SKIP' - '782d9fa710e59cba36bc3bfb922d52de0469cd3d0c5c591308f8e459139bd72f') +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 - - cd "${srcdir}/${pkgname}" - # Upstream patch - patch -Np1 -i "${srcdir}/python38-fix.patch" } build() { |