Commit 07e352ac authored by Leo's avatar Leo
Browse files

community/clingo: upgrade to 5.4.1

parent 51eaa22b
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
# Maintainer:
pkgname=clingo
pkgver=5.4.0
pkgrel=1
pkgdesc="A grounder and solver for logic programs"
pkgver=5.4.1
pkgrel=0
pkgdesc="grounder and solver for logic programs"
url="https://potassco.org/clingo/"
arch="all"
license="MIT"
......@@ -11,8 +11,7 @@ depends="!clasp" # both provide /usr/bin/clasp
makedepends="python3-dev cmake"
subpackages="$pkgname-dev py3-$pkgname:py"
options="!check"
source="https://github.com/potassco/clingo/archive/v$pkgver/clingo-$pkgver.tar.gz
python38.patch"
source="https://github.com/potassco/clingo/archive/v$pkgver/clingo-$pkgver.tar.gz"
replaces="gringo" # backwards compatibility
build() {
......@@ -39,5 +38,4 @@ py() {
mv "$pkgdir"/usr/lib/python* "$subpkgdir"/usr/lib/
}
sha512sums="23277b7523dc78c99e0a0691e95ccb859a27db18abb9e9864011162e4ead0e050e70c3c71f61dfc9046cfcb30dad06cf32c656cc3c722f73a6f40571fae12b0c clingo-5.4.0.tar.gz
0049f08e1f876b22f3f0c87b140efd8534bb079d26ea53670a66b5162ce1a400d69225044c3d65e446256e8d7f4c39154ef0e5761eeab7fb03277a6e4586c7ca python38.patch"
sha512sums="85954ef28406a2bc8b54bd46cce6dba24c00541e1fde55779b898373bc96c08ca19cb53d909337772621e79e198b68d10753f32a9f709ac681723a370f284f33 clingo-5.4.1.tar.gz"
From 13a896b6a762e48c2396e3dc9f2e794020f4e6e8 Mon Sep 17 00:00:00 2001
From: Till Hofmann <hofmann@kbsg.rwth-aachen.de>
Date: Fri, 6 Sep 2019 10:17:59 +0200
Subject: [PATCH] Use 0 instead of nullptr for python's tp_print for Python 3.8
In Python 3.8, the reserved `tp_print` slot was changed from a function
pointer to a number. In C, there is no `nullptr`; either a 0 or NULL
casts automatically to both pointers and numbers.
Replace `nullptr` with `0` for `tp_print` to be compatible with Python
3.8.
---
libpyclingo/pyclingo.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/libpyclingo/pyclingo.cc b/libpyclingo/pyclingo.cc
index 9480203a..6a7068cc 100644
--- a/libpyclingo/pyclingo.cc
+++ b/libpyclingo/pyclingo.cc
@@ -1177,7 +1177,7 @@ PyTypeObject ObjectBase<T>::type = {
sizeof(T), // tp_basicsize
0, // tp_itemsize
PythonDetail::Get_tp_dealloc<T>::value, // tp_dealloc
- nullptr, // tp_print
+ 0, // tp_print
nullptr, // tp_getattr
nullptr, // tp_setattr
nullptr, // tp_compare
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment