On Tue, 02 Jun 2015 08:30:54 +0200 Roberto Bagnara <bagn...@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
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
