Merge gringo (5.4.0-2) import into refs/heads/workingbranch

link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

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

Gbp-Pq: Name link-libatomic-check.patch

fix compatibility with Python 3.8

Last-Update: 2020-02-20
Forwarded: no
Bug-Debian: https://bugs.debian.org/951707

Python 3.8 changes the type of an element of the PyTypeObject struct
(https://www.python.org/dev/peps/pep-0590/) leading to compiler errors.

Gbp-Pq: Name python3.8-compat.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.4.0-2) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for missing architectures

[dgit import unpatched gringo 5.4.0-2]

Import gringo_5.4.0-2.debian.tar.xz

[dgit import tarball gringo 5.4.0-2 gringo_5.4.0-2.debian.tar.xz]

Import gringo_5.4.0.orig.tar.gz

[dgit import orig gringo_5.4.0.orig.tar.gz]

Merge gringo (5.3.0-13) import into refs/heads/workingbranch

link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

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

Gbp-Pq: Name link-libatomic-check.patch

fix compatibility with Python 3.8

Last-Update: 2020-02-20
Forwarded: no
Bug-Debian: https://bugs.debian.org/951707

Python 3.8 changes the type of an element of the PyTypeObject struct
(https://www.python.org/dev/peps/pep-0590/) leading to compiler errors.

Gbp-Pq: Name python3.8-compat.patch

rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.3.0-13) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for g++-9 >= 9.2.0 on armel and powerpc

[dgit import unpatched gringo 5.3.0-13]

Import gringo_5.3.0-13.debian.tar.xz

[dgit import tarball gringo 5.3.0-13 gringo_5.3.0-13.debian.tar.xz]

Merge gringo (5.3.0-10) import into refs/heads/workingbranch

rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch

Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.3.0-10) unstable; urgency=medium

  * Fix FTBFS on buster.
  * debian/control: add Build-Depends on g++-8 >= 8.2.0-21
  * debian/symbols: add alpha and x32 symbols

[dgit import unpatched gringo 5.3.0-10]

Import gringo_5.3.0-10.debian.tar.xz

[dgit import tarball gringo 5.3.0-10 gringo_5.3.0-10.debian.tar.xz]

Import gringo_5.3.0.orig.tar.gz

[dgit import orig gringo_5.3.0.orig.tar.gz]

Merge gringo (5.1.0-4) import into refs/heads/workingbranch

alpha FTBFS: _FPU_GETCW is undefined

Forwarded: https://github.com/potassco/clasp/pull/3

===================================================================

Gbp-Pq: Name gringo-alpha-fpu-getcw.patch

add support for architectures with broken std::exception_ptr std::exception_ptr is currently not supported on armel, see libstdc++ bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58938

Forwarded: not-needed

===================================================================

Gbp-Pq: Name gringo-broken-std-exception_ptr.patch

bugfix: correctly mark body literals as auxiliary in all cases

Origin: upstream, https://github.com/potassco/clingo/commit/d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
Bug: https://sourceforge.net/p/potassco/mailman/message/35493632/

Gbp-Pq: Name gringo-fix-body-literals-as-auxiliary.patch

Sort source files for deterministic linking order

Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096;msg=5
Bug-Debian: https://bugs.debian.org/844096

===================================================================

Gbp-Pq: Name reproducible-build.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.1.0-4) unstable; urgency=medium

  * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
    _FPU_GETCW and friends are undefined on this arch

[dgit import unpatched gringo 5.1.0-4]

Import gringo_5.1.0-4.debian.tar.xz

[dgit import tarball gringo 5.1.0-4 gringo_5.1.0-4.debian.tar.xz]

Import gringo_5.1.0.orig.tar.gz

[dgit import orig gringo_5.1.0.orig.tar.gz]

Add gringo.1, clingo.1, and iclingo.1 manpages.

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (4.4.0-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Remove Suggests on potassco-guide.
  * debian/control: Fix Vcs fields to use anonscm.debian.org.
  * Setup git repository to use git-buildpackage.
  * Import upstream sources with git-import-orig --pristine-tar.

[dgit import unpatched gringo 4.4.0-1]

Import gringo_4.4.0.orig.tar.gz

[dgit import orig gringo_4.4.0.orig.tar.gz]

Import gringo_4.4.0-1.debian.tar.xz

[dgit import tarball gringo 4.4.0-1 gringo_4.4.0-1.debian.tar.xz]