Bug#787486: ppl: FTBFS with current sid

[David Bremner <bremner@debian.org>]

Roberto Bagnara <bagnara@cs.unipr.it> writes:
>
> ppl_swiprolog.cc is a generated file: can you please provide it?

Attached, along with the fill build log.

> Which version of GCC are you using?
>

The current default version of gcc in debian sid is 4.9.2-22

Attachment: ppl_swiprolog.cc.gz
Description: application/gzip

Attachment: build.log.gz
Description: application/gzip

Attachment: signature.asc
Description: PGP signature