Bug#1044276: coq-dpdgraph: Fails to build source after successful build
Source: coq-dpdgraph
Version: 1.0+8.17-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
Usertags: qa-doublebuild
Hi,
This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).
This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.
More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild
Relevant part of the build log:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
> ----------------------------------------------------------------------------------------------------------------------------------
>
> dpkg-buildpackage: info: source package coq-dpdgraph
> dpkg-buildpackage: info: source version 1.0+8.17-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq,ocaml
> dh_auto_clean
> make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make -f Make_coq clean
> rm -f tests/graph.dpd tests/graph2.dpd tests/Morph.dpd tests/Morph_rw.dpd tests/Polymorph.dpd tests/PrimitiveProjections.dpd tests/PrimitiveProjections2.dpd tests/graph.dot tests/graph2.dot tests/Morph.dot tests/Morph_rw.dot tests/Polymorph.dot tests/PrimitiveProjections.dot tests/PrimitiveProjections2.dot tests/graph.without.dot tests/search tests/graph2.dpdusage tests/attributes.err tests/double_node.err tests/lexing.err tests/missing_node.err tests/parsing.err tests/unterminated_comment.err tests/file_not_found.err tests/graph.dpd.log tests/graph2.dpd.log tests/Morph.dpd.log tests/Morph_rw.dpd.log tests/Polymorph.dpd.log tests/PrimitiveProjections.dpd.log tests/PrimitiveProjections2.dpd.log tests/graph.dot.log tests/graph2.dot.log tests/Morph.dot.log tests/Morph_rw.dot.log tests/Polymorph.dot.log
> tests/PrimitiveProjections.dot.log tests/PrimitiveProjections2.dot.log tests/graph.without.dot.log tests/search.log tests/graph2.dpdusage.log tests/attributes.err.log tests/double_node.err.log tests/lexing.err.log tests/missing_node.err.log tests/parsing.err.log tests/unterminated_comment.err.log tests/file_not_found.err.log tests/graph.dpd.ok tests/graph2.dpd.ok tests/Morph.dpd.ok tests/Morph_rw.dpd.ok tests/Polymorph.dpd.ok tests/PrimitiveProjections.dpd.ok tests/PrimitiveProjections2.dpd.ok tests/graph.dot.ok tests/graph2.dot.ok tests/Morph.dot.ok tests/Morph_rw.dot.ok tests/Polymorph.dot.ok tests/PrimitiveProjections.dot.ok tests/PrimitiveProjections2.dot.ok tests/graph.without.dot.ok tests/search.ok tests/graph2.dpdusage.ok tests/attributes.err.ok tests/double_node.err.ok tests/lexing.err.ok
> tests/missing_node.err.ok tests/parsing.err.ok tests/unterminated_comment.err.ok tests/file_not_found.err.ok
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> rm -f tests/Test.vo tests/Test.glob
> rm -f tests/Morph.vo tests/Morph.glob
> rm -f tests/Polymorph.vo tests/Polymorph.glob
> rm -f tests/.*.vo.aux
> CLEAN
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f searchdepend.o graphdepend.o searchdepend.cmx graphdepend.cmx dpdgraph.cmxs Make_coq version.ml dpd_lex.ml dpd_parse.ml dpd_parse.mli .depend
> rm -f version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpdusage.cmo version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpd2dot.cmo version.cmx dpd_compute.cmx dpd_dot.cmx dpd_parse.cmx dpd_lex.cmx dpd2dot.cmx dpdusage.cmx version.o dpd_compute.o dpd_dot.o dpd_parse.o dpd_lex.o dpd2dot.o dpdusage.o *.cmi
> rm -f version.annot dpd_compute.annot dpd_dot.annot dpd_parse.annot dpd_lex.annot dpd2dot.annot dpdusage.annot
> rm -f ./dpd2dot ./dpdusage ./dpdgraph.vo
> Use: make clean_config to remove configuration generated files
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_autoreconf_clean
> dh_ocamlclean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-dpdgraph using existing ./coq-dpdgraph_1.0+8.17.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: warning: executable mode 0755 of 'config.status' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Morph.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Morph.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Polymorph.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Polymorph.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/PrimitiveProjections.vo: binary file contents changed
> dpkg-source: error: add tests/PrimitiveProjections.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/PrimitiveProjections.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/PrimitiveProjections.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Test.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Test.vos' will not be represented in diff
> dpkg-source: error: unrepresentable changes to source
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
>
> E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/coq-dpdgraph_1.0+8.17-1_unstable.log
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
Reply to: