Bug#1044629: coq-reglang: Fails to build source after successful build
Source: coq-reglang
Version: 1.1.3-4
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-reglang
> dpkg-buildpackage: info: source version 1.1.3-4
> 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
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # doesn't work
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-reglang using existing ./coq-reglang_1.1.3.orig.tar.gz
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-reglang/dune-package:
> dpkg-source: error: new version is symlink to ../../../../default/coq-reglang.dune-package
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-reglang/opam:
> dpkg-source: error: new version is symlink to ../../../../default/coq-reglang.opam
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-reglang/META:
> dpkg-source: error: new version is symlink to ../../../../default/META.coq-reglang
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/myhill_nerode.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/myhill_nerode.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/misc.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/misc.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/nfa.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/nfa.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/myhill_nerode.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/myhill_nerode.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/setoid_leq.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/setoid_leq.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/nfa.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/nfa.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/vardi.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/vardi.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/dfa.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/dfa.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/wmso.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/wmso.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/vardi.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/vardi.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/regexp.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/regexp.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/dfa.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/dfa.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/minimization.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/minimization.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/regexp.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/regexp.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/shepherdson.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/shepherdson.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/minimization.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/minimization.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/two_way.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/two_way.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/misc.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/misc.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/two_way.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/two_way.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/languages.vo:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/languages.vo
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/wmso.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/wmso.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/shepherdson.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/shepherdson.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/setoid_leq.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/setoid_leq.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/languages.v:
> dpkg-source: error: new version is symlink to ../../../../../../default/theories/languages.v
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/coq-reglang/LICENSE:
> dpkg-source: error: new version is symlink to ../../../../default/LICENSE
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/coq-reglang/README.md:
> dpkg-source: error: new version is symlink to ../../../../default/README.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/.db: binary file contents changed
> dpkg-source: error: add _build/.db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to _build/.digest-db: binary file contents changed
> dpkg-source: error: add _build/.digest-db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file coq-reglang-1.1.3/_build/.filesystem-clock has no final newline (either original or modified version)
> dpkg-source: warning: file coq-reglang-1.1.3/_build/.lock has no final newline (either original or modified version)
> dpkg-source: warning: file coq-reglang-1.1.3/_build/default/.dune/configurator.v2 has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to _build/default/.lia.cache: binary file contents changed
> dpkg-source: error: add _build/default/.lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file '_build/default/META.coq-reglang' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/dfa.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/dfa.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 '_build/default/theories/dfa.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/dfa.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/languages.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/languages.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 '_build/default/theories/languages.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/languages.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/minimization.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/minimization.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 '_build/default/theories/minimization.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/minimization.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/misc.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/misc.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 '_build/default/theories/misc.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/misc.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/myhill_nerode.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/myhill_nerode.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 '_build/default/theories/myhill_nerode.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/myhill_nerode.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/nfa.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/nfa.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 '_build/default/theories/nfa.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/nfa.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/regexp.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/regexp.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 '_build/default/theories/regexp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/regexp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/setoid_leq.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/setoid_leq.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 '_build/default/theories/setoid_leq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/setoid_leq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/shepherdson.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/shepherdson.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 '_build/default/theories/shepherdson.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/shepherdson.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/two_way.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/two_way.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 '_build/default/theories/two_way.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/two_way.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/vardi.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/vardi.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 '_build/default/theories/vardi.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/vardi.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/wmso.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/wmso.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 '_build/default/theories/wmso.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/wmso.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-reglang_1.1.3-4_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: