| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| gringo-manpages.patch | Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages =================================================================== |
Thomas Krennwallner <tkren@kr.tuwien.ac.at> | no | 2016-12-07 | ||
| gringo-python3-utf8.patch | Fix testsuite for python3 when reading utf-8 scripts =================================================================== |
Thomas Krennwallner <tkren@kr.tuwien.ac.at> | no | 2018-02-05 | ||
| link-libatomic-check.patch | link with libatomic on architectures that require it clingo requires c++11 threads with 64bit __atomic_exchange, we need to link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel, and sh4, see also https://gcc.gnu.org/wiki/Atomic and https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary This patch was shamelessly adapted from https://github.com/potassco/clasp/blob/master/CMakeLists.txt https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be |
Thomas Krennwallner <tkren@kr.tuwien.ac.at> | no | 2020-03-11 | ||
| use-system-catch-for-glibc-2.34-compat.patch | Fix 'catch' & 'catch2' compatibility with glibc-2.34 The gringo package contains several embedded copies of the 'catch' (CTest) library. All of those copies are outdated and incompatible with glibc-2.34. This patch updates the test sources to use the system provided versions of 'catch' and 'catch2' instead, to fix this issue. C.f.: https://github.com/catchorg/Catch2/issues/2178 |
Lukas Mrdian <slyon@ubuntu.com> | yes | upstream | vendor, Ubuntu | 2022-01-18 |
| testsuite-python-open-rU.patch | Fix the testsuite for Python no longer supporting 'rU' in open() | Adrian Bunk <bunk@debian.org> | no | |||
| gcc13.diff | Fix build with GCC 13 | Matthias Klose | no | |||
| reduce-thread-count.patch | Reduce thread count for test_clingo_app | Graham Inggs | no | |||
| skip-test_clingo_app.patch | Skip hanging test_clingo_app for now. | Graham Inggs | no |