Package: avrdude Version: 6.1-1 Severity: wishlist Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and 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.
[...] gcc -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wl,-z,relro -o avrdude avrdude-main.o avrdude-term.o ./libavrdude.a -lusb -lftdi -lusb -lelf -lpthread -lm -lreadline -lncurses -ltermcap error: conflicting function declarations "bitbang_delay" old definition in module bitbang file bitbang.c line 143 void (signed int us) new definition in module linuxgpio file bitbang.h line 32 void (unsigned int) Makefile:710: recipe for target 'avrdude' failed make[3]: *** [avrdude] Error 64 make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-avrdude/avrdude-6.1' Makefile:1516: recipe for target 'all-recursive' failed make[2]: *** [all-recursive] Error 1 It seems likely that all values actually fit a positive signed int, hence really just the declaration here should be fixed: http://sources.debian.net/src/avrdude/6.1-1/bitbang.h?hl=32#L32 Best, Michael
pgpq7napddADC.pgp
Description: PGP signature
