Bug#787486: ppl: FTBFS with current sid

[Emilio Pozuelo Monfort <pochu@debian.org>]

On Tue, 02 Jun 2015 08:30:54 +0200 Roberto Bagnara <bagnara@cs.unipr.it> wrote:
> 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?

Also see

https://buildd.debian.org/status/logs.php?pkg=ppl&ver=1%3A1.1-4%2Bb1

The arm64 build succeeded with gcc-4.9_4.9.2-21, while the amd64 build failed
with the same gcc-4.9 version.

Emilio