Roberto Bagnara <bagn...@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
ppl_swiprolog.cc.gz
Description: application/gzip
build.log.gz
Description: application/gzip
signature.asc
Description: PGP signature