summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Sun2021-11-16 19:20:58 -0500
committerAndrew Sun2021-11-16 19:20:58 -0500
commit61452f67af477ab79b0cf5dc38ce8b2d39135b87 (patch)
tree4d77e16c64bdaa9cdc5ecba7e5f90a8ac1777cfb
parent19d3d4bc440d14678320b20b26596cf8070a6121 (diff)
downloadaur-61452f67af477ab79b0cf5dc38ce8b2d39135b87.tar.gz
5.5.1
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD6
2 files changed, 3 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c4398d0305a1..11a68a1653c1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = clingo
pkgdesc = Grounding tools for (disjunctive) logic programs
- pkgver = 5.5.0
+ pkgver = 5.5.1
pkgrel = 1
url = https://potassco.org/
arch = i686
@@ -15,7 +15,7 @@ pkgbase = clingo
depends = lua
depends = python
conflicts = clasp
- source = git+https://github.com/potassco/clingo#tag=v5.5.0
+ source = git+https://github.com/potassco/clingo#tag=v5.5.1
sha256sums = SKIP
pkgname = clingo
diff --git a/PKGBUILD b/PKGBUILD
index 62bf578eccf6..5190510870eb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
# Contributor: Vincent Bernardoff <vb at luminar dot eu dot org>
pkgname=clingo
-pkgver=5.5.0
+pkgver=5.5.1
pkgrel=1
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('i686' 'x86_64' 'pentium4')
@@ -15,10 +15,6 @@ 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