Source: cbmc Version: 5.4-2 Severity: serious Tags: stretch sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20160713 qa-ftbfs Justification: FTBFS with GCC 6 on amd64
Hi, During a rebuild of all packages in sid using the gcc-defaults package available in experimental to make GCC default to version 6, your package failed to build on amd64. For more information about GCC 6 and Stretch, see: - https://wiki.debian.org/GCC6 - https://lists.debian.org/debian-devel-announce/2016/06/msg00007.html Relevant part (hopefully): > Running windows_h_VS_2005 [OK] > Running windows_h_VS_2008 [OK] > Running windows_h_VS_2010 [OK] > Running windows_h_VS_2012 [OK] > > Tests failed > 1 of 82 tests failed, 20 tests skipped > Failed test: enum8 > file /usr/include/x86_64-linux-gnu/c++/6/bits/c++config.h line 202: parse > error before `; } namespace std' > PARSING ERROR > EXIT=64 > SIGNAL=0 > > > make[1]: *** [override_dh_auto_test] Error 1 > debian/rules:31: recipe for target 'override_dh_auto_test' failed The full build log is available from: http://people.debian.org/~lucas/logs/2016/07/13/cbmc_5.4-2_unstable_gcc6.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures.
