Bug#787486: ppl: FTBFS with current sid
On 06/02/15 08:12, David Bremner wrote:
> Source: ppl
> Version: 1:1.1-3
> Severity: serious
> Justification: fails to build from source (but built successfully in the past)
>
> 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.
ppl_swiprolog.cc is a generated file: can you please provide it?
Which version of GCC are you using?
> -- 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)
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com
Reply to: