Package: libkate Version: 0.4.1-1 Severity: wishlist 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.
[...] /bin/bash ../libtool --tag=CC --silent --mode=link gcc -Wall -W -I/usr/include/libpng12 -g -O2 -o kateenc kateenc-kateenc.o kateenc-kate_lexer.o kateenc-kate_parser.o kateenc-kpng.o ../lib/liboggkate.la ../lib/libkate.la -logg -lpng12 error: conflicting function declarations "katedesc_restart" old definition in module kateenc file kateenc.c line 39 signed int (struct _IO_FILE *) new definition in module kate_lexer file kate_lexer.c line 2375 void (struct _IO_FILE *input_file) Makefile:456: recipe for target 'kateenc' failed make[4]: *** [kateenc] Error 64 make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-libkate/libkate-0.4.1/tools' Makefile:835: recipe for target 'all-recursive' failed make[3]: *** [all-recursive] Error 1 It seems that there is just an error in the forward declaration here: http://sources.debian.net/src/libkate/0.4.1-1/tools/kateenc.c?hl=39#L39 As the acclaimed but non-existent return value isn't used right now, no undefined behaviour is to be expected. To ensure no future code modification makes use of the presumed return value, the declaration should be fixed. Best, Michael
pgpre0IjJdNr4.pgp
Description: PGP signature
