Bug#1044976: cvc5: Fails to build source after successful build

[Lucas Nussbaum]

Source: cvc5
Version: 1.0.5-3
Severity: minor
Tags: trixie sid ftbfs
User: lucas at debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa at 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 cvc5
> dpkg-buildpackage: info: source version 1.0.5-3
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Scott Talbert <swt at techie.net>
>  dpkg-source --before-build .
>  debian/rules clean
> dh clean --buildsystem=cmake
>    dh_auto_clean -O--buildsystem=cmake
>    dh_autoreconf_clean -O--buildsystem=cmake
>    dh_clean -O--buildsystem=cmake
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building cvc5 using existing ./cvc5_1.0.5.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to src/api/__pycache__/parseenums.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/api/__pycache__/parseenums.cpython-311.pyc in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/rewriter/__pycache__/node.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/node.cpython-311.pyc in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/rewriter/__pycache__/rule.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/rule.cpython-311.pyc in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/rewriter/__pycache__/rw_parser.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/rw_parser.cpython-311.pyc in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/rewriter/__pycache__/util.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/util.cpython-311.pyc in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> 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/cvc5_1.0.5-3_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.