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:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/556d4d9e.3000...@cs.unipr.it