Package: juman
Version: 7.0-3.1
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.

[...]
libtool: link: gcc -g -O2 -o .libs/juman client.o juman.o server.o  
../lib/.libs/libjuman.so -lnsl
warning: ignoring conflicting implicit function declaration "juman_client"
old definition in module client file client.c line 340
signed int (signed int argc, char **argv, char *server, signed int port)

error: conflicting function declarations "juman_server"
old definition in module juman file juman.c line 78
void (char **, signed int, signed int)
new definition in module server file server.c line 595
signed int (char **argv, signed int port, signed int foreground)
Makefile:265: recipe for target 'juman' failed
make[4]: *** [juman] Error 64
make[4]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-juman/juman-7.0/juman'
Makefile:340: recipe for target 'all-recursive' failed

Reviewing the code, it seems juman_server uses the return value to report
errors.  Thus the declaration in juman.c should be fixed, and all call sites
should consider the return value.

Best,
Michael

Attachment: pgpFVY0_ZabPq.pgp
Description: PGP signature

Reply via email to