Source: cbmc Version: 4.0-3 Severity: important Tags: wheezy sid User: [email protected] Usertags: qa-ftbfs-20110923 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part: > make[3]: Entering directory `/build/cbmc-VQMYNC/cbmc-4.0/src/util' > rm -f arith_tools.o base_type.o cmdline.o config.o context.o expr.o > expr_util.o i2string.o irep.o language.o lispexpr.o lispirep.o location.o > message.o language_file.o mp_arith.o namespace.o parseoptions.o rename.o > replace_expr.o threeval.o typecheck.o graph.o type.o cnf_simplify.o > str_getline.o strstream2string.o bitvector.o parser.o map_util.o > replace_symbol.o actuals.o get_module.o string_hash.o string_container.o > identifier.o rational.o options.o c_misc.o simplify_expr.o dstring.o > find_symbols.o rational_tools.o ui_message.o simplify_utils.o time_stopping.o > symbol.o irep_hash_container.o type_eq.o guard.o array_name.o gcd.o > message_stream.o substitute.o decision_procedure.o union_find.o > pretty_names.o xml.o xml_irep.o std_types.o std_code.o format_constant.o > find_macros.o ref_expr_set.o std_expr.o irep_serialization.o > symbol_serialization.o fixedbv.o ieee_float.o signal_catcher.o > pointer_offset_size.o bv_arithmetic.o tempdir.o tempfile.o timer.o irep_ids.o > util.a > make[3]: Leaving directory `/build/cbmc-VQMYNC/cbmc-4.0/src/solvers' > rm -f irep_ids.h irep_ids.inc > rm -f ieee_float_test ieee_float_test.o > rm -f irep_ids_convert irep_ids_convert.o > make[3]: Leaving directory `/build/cbmc-VQMYNC/cbmc-4.0/src/util' > rm -f *.o > make[2]: Leaving directory `/build/cbmc-VQMYNC/cbmc-4.0/src' > make[1]: Leaving directory `/build/cbmc-VQMYNC/cbmc-4.0' > dh_clean -O--parallel > dpkg-source -b cbmc-4.0 > dpkg-source: info: using source format `3.0 (quilt)' > dpkg-source: info: building cbmc using existing ./cbmc_4.0.orig.tar.gz > dpkg-source: info: local changes detected, the modified files are: > cbmc-4.0/src/cbmc/Makefile > cbmc-4.0/src/config.inc > cbmc-4.0/src/goto-cc/Makefile > cbmc-4.0/src/goto-instrument/Makefile > dpkg-source: error: aborting due to unexpected upstream changes, see > /tmp/cbmc_4.0-3.diff.Y1z5SK > dpkg-source: info: you can integrate the local changes with dpkg-source > --commit > dpkg-buildpackage: error: dpkg-source -b cbmc-4.0 gave error exit status 2 > ──────────────────────────────────────────────────────────────────────────────── > Build finished at 20110923-2237 The full build log is available from: http://people.debian.org/~lucas/logs/2011/09/23/cbmc_4.0-3_lsid64.buildlog This error is due to recent dpkg changes "“dpkg-source -b” on a “2.0” or “3.0 (quilt)” source package will fail if it detects upstream changes which are not managed by a quilt patch." [0] [0] http://lists.debian.org/debian-devel-announce/2011/09/msg00001.html 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 about 50 AMD64 nodes of the Grid'5000 platform, using a clean chroot. Internet was not accessible from the build systems. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
