Package: dicelab Version: 0.7-2 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended reporting on type inconsistencies at link time.
[...] x86_64-linux-gnu-gcc -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -Wl,-z,relro -o dicelab main.o roll.o util.o par.o lex.o tree.o -lm -ll -lm file par.c line 1369: error: conflicting function declarations "yyparse" old definition in module main file main.c line 23 void () new definition in module par file par.c line 1369 signed int (void) make[2]: *** [dicelab] Error 64 make[2]: Leaving directory `/srv/jenkins-slave/workspace/sid-goto-cc-dicelab/dicelab-0.7' It seems the declaration in main.c ought to be adjusted, in particular as yyparse reports errors via its return type. Best, Michael
pgpRqkIz8yH2v.pgp
Description: PGP signature
