Package: buddy Version: 2.4-11 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.
[...] /bin/bash ../libtool --tag=CXX --mode=link g++ -g -O0 -fstack-protector-strong -Wformat -Werror=format-security -version-info 0:0:0 -Wl,-z,relro -o libbdd.la -rpath /usr/lib bddio.lo bddop.lo bvec.lo cache.lo cppext.lo fdd.lo imatrix.lo kernel.lo pairs.lo prime.lo reorder.lo tree.lo libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/5/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/5/crtbeginS.o .libs/bddio.o .libs/bddop.o .libs/bvec.o .libs/cache.o .libs/cppext.o .libs/fdd.o .libs/imatrix.o .libs/kernel.o .libs/pairs.o .libs/prime.o .libs/reorder.o .libs/tree.o -L/usr/lib/gcc/x86_64-linux-gnu/5 -L/usr/lib/gcc/x86_64-linux-gnu/5/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/5/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/5/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/5/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/5/../../../x86_64-linux-gnu/crtn.o -g -O0 -fstack-protector-strong -Wl,-z -Wl,relro -Wl,-soname -Wl,libbdd.so.0 -o .libs/libbdd.so.0.0.0 file reorder.c line 107: error: conflicting types for variable `bddproduced' old definition in module `kernel' file kernel.c line 96 signed long int new definition in module `reorder' file reorder.c line 107 signed int Makefile:456: recipe for target 'libbdd.la' failed make[3]: *** [libbdd.la] Error 1 make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-buddy/buddy-2.4/src' Makefile:410: recipe for target 'all-recursive' failed make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-buddy/buddy-2.4' Makefile:342: recipe for target 'all' failed make[1]: *** [all] Error 2 make[1]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-buddy/buddy-2.4' debian/rules:28: recipe for target 'build-stamp' failed make: *** [build-stamp] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 The (extern) declaration in reorder.c should be fixed to match the definition in kernel.c. Best, Michael
signature.asc
Description: PGP signature
