Your message dated Mon, 07 Dec 2015 22:42:10 +0000
with message-id <e1a64ty-00079w...@franck.debian.org>
and subject line Bug#787486: fixed in ppl 1:1.1-7.1
has caused the Debian Bug report #787486,
regarding ppl: FTBFS with swi-prolog 7.x
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
787486: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787486
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: ppl
Version: 1:1.1-3
Severity: serious
Justification: fails to build from source (but built successfully in the past)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
In an up to date sid chroot, ppl compilation fails with
ppl_swiprolog.cc: At global scope:
ppl_swiprolog.cc:4565:1: error: invalid conversion from 'void*' to
'pl_function_t {aka void (*)()}' [-fpermissive]
};
^
ppl_swiprolog.cc:4565:1: error: invalid conversion from 'void*' to
'pl_function_t {aka void (*)()}' [-fpermissive]
ppl_swiprolog.cc:4565:1: error: invalid conversion from 'void*' to
'pl_function_t {aka void (*)()}' [-fpermissive]
ppl_swiprolog.cc:4565:1: error: invalid conversion from 'void
this error message is repeated about 2000 times.
I'm happy to provide the full build log if you can't duplicate this; it's more
than 600K so I'll leave it out initially.
- -- System Information:
Debian Release: 8.0
APT prefers stable
APT policy: (900, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQGcBAEBCAAGBQJVbUk+AAoJEPIClx2kp54spFcL/0KFGl2yawm3SAKreef6izcJ
DLoxkwU0WrxzLA+G7zKktP1wdUgihGhOJOycPBCsqUNJr0qS6e83XziXqREct7F8
xgXa2pJpYIEdiv53Yw2UibkbCSEIXiQhzrXPIUZNm+woxD3MWqw1EeyrkREpYu+j
5JICSD1cqFVQo43PgErdudl7NhUDnwde5nnmlebgFq9wfdcnqvdm7+MUGxC+L1Rr
GBm7XPNwf3V72PGFss+yGQzcn+V28+//TGBeOqWTGQj3QqfiF1Ci4ZiO7P/RohQ/
qY1qHFWi9WNKkj8QLWBpZL5/XJT3GNQqn/H5frLlFI77qiPsGITJB+o1dLkt1Jlw
hTh22YeGCckk9/bguDx6lxKb/Zm8C/k188LD+qu0YFm8v8AEpo7ijDO+BAwlHm0B
+Qlo3K7upA70lmcM71BNRM46FLihxL2pkxfYLR10iya8N4JGXAN7Sh09Kd6DlUGt
nMnSkkM5vLmLVemYYXY/g0KqllTyAIGWro7+l9c6FA==
=ZaRS
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: ppl
Source-Version: 1:1.1-7.1
We believe that the bug you reported is fixed in the latest version of
ppl, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 787...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthias Klose <d...@debian.org> (supplier of updated ppl package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 07 Dec 2015 22:04:41 +0100
Source: ppl
Binary: libppl13v5 libppl-dev ppl-dev libppl-c4
Architecture: source amd64
Version: 1:1.1-7.1
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Matthias Klose <d...@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl13v5 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Closes: 787486
Changes:
ppl (1:1.1-7.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Fix build failure with with swi-prolog 7.x (Roberto Bagnara).
Closes: #787486.
Checksums-Sha1:
c8eab79be3126db3d49c30d22b54f1888ac23f47 2004 ppl_1.1-7.1.dsc
a63a4ab4b90b45081dc687518e574c0d3e39064b 12376 ppl_1.1-7.1.debian.tar.xz
1f77712c16227ba390d58806711fa0828ddd5265 941574 libppl-c4_1.1-7.1_amd64.deb
bfd327271c56b6256f8718b527ec21aa564ddfeb 2051962 libppl-dev_1.1-7.1_amd64.deb
44f481b6ac8b2e9c97850459751dec46eb2a8022 600368 libppl13v5_1.1-7.1_amd64.deb
91345f34daa897943af28b2ed8b56ac81bdaa6f4 201762 ppl-dev_1.1-7.1_amd64.deb
Checksums-Sha256:
31707b8ce36ede9dba6e9bb9d492786a28cafc8bb664c3eb26cdaa006a51eb57 2004
ppl_1.1-7.1.dsc
d2b5f6cd376f96ad8d0fb305caf894dccc426dfd35b5e9eeba755a78a7bf5d6c 12376
ppl_1.1-7.1.debian.tar.xz
1166f4101986a7af169f8fd358c6f2b2acc9d4ed0fb6c68ed02f49e4aa38d4fe 941574
libppl-c4_1.1-7.1_amd64.deb
b3ae1a87a7c37f173a0c892a05375eac718d34017e961fef328f2df4d401cf37 2051962
libppl-dev_1.1-7.1_amd64.deb
4a7cdb8bd54bce09f7ab2f564cd8a739fb277b039749fc03fb05cc750a678687 600368
libppl13v5_1.1-7.1_amd64.deb
683599b13a8a5c74675e3ee13c2ed04175c353ffa272a29c010675a7698b9064 201762
ppl-dev_1.1-7.1_amd64.deb
Files:
f870b8e848821a603c708825ab378db0 2004 libs optional ppl_1.1-7.1.dsc
0266a1c3d565f96699bc4d34b77f72d5 12376 libs optional ppl_1.1-7.1.debian.tar.xz
339a23463c050339ce8984aeaf892c54 941574 libs optional
libppl-c4_1.1-7.1_amd64.deb
9d73713a5fea3e827f015a809687cb42 2051962 libdevel optional
libppl-dev_1.1-7.1_amd64.deb
d46be3d881dac2cb42231b65fce1badb 600368 libs optional
libppl13v5_1.1-7.1_amd64.deb
365e4c59d5ab2c34a7c6c18a59e67599 201762 devel optional
ppl-dev_1.1-7.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWZf9PAAoJEL1+qmB3j6b1nUcQANtY7zZnRNrH+wS32JNqrLHa
YynKxtWSPZWppnoINj2k6rdlln0wSckrvZ5t2+QbEwXzMvjRxY+ct0f9Id0bsyXb
loZtgtFEUfu6DJ1NB7JUgpYOeRexxjAcUfE5l+KbgkB4jkEoioqNxShjj+U7TGF1
BB/Sskp64ljXK9FO3x8tBuDymh2u2pkSxh1U8vB38DAIxx9MGRqxU0YqgBGHCj6o
KvFjWps4IuIV6nocewXwWtaxR48bKwaOEK2loRWBC6S3PG3ehrYbyyanHZajbHf8
ljCZWrwZuqf3ATm+C1tZALMjzCuVd90HmUDfdjS0S40XL/nQhVXjhV9CMjbmwmes
YjFptqy4mzNG/15t6XW3+2yNIffYv3kExnP/jELnYA5Fg9Y9WQFBP/bKJD9q6LA7
k3vni933MMviNy0O7z0js+P2c8+uOmTHnea3b3j0GUjdtWrZwpoAI7dpy7YXBdHt
iaXbpRWoh+jkVaOf+oaOjZmUinN+6e8cvuawdJLyijJ9NzH4am8O+UBHDVu3TQ2a
gjUBLHljquH1E8dQNzfuPy1npvlG/Gu2w22w7z44UDNYgEBZqd8gS9DitmVIzjcY
d6Q5+IifyXOWIuBphYXi7WaKE1QEopzNKSOFmX4VpGoafedUA0TrWnUt7VAZ4ONO
0fpG296XhHKcZOUweaHs
=d43h
-----END PGP SIGNATURE-----
--- End Message ---
