Bug#787486: ppl: FTBFS with current sid

[Roberto Bagnara <bagnara@cs.unipr.it>]

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