Bug#1044932: cryptominisat: Fails to build source after successful build

[Lucas Nussbaum]

Source: cryptominisat
Version: 5.11.4+dfsg1-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 cryptominisat
> dpkg-buildpackage: info: source version 5.11.4+dfsg1-3
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Scott Talbert <swt at techie.net>
>  dpkg-source --before-build .
>  fakeroot debian/rules clean
> dh clean --with python3 --buildsystem=pybuild
>    dh_auto_clean -O--buildsystem=pybuild
>    dh_autoreconf_clean -O--buildsystem=pybuild
>    dh_clean -O--buildsystem=pybuild
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building cryptominisat using existing ./cryptominisat_5.11.4+dfsg1.orig.tar.xz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to lib/libcryptominisat5.so:
> dpkg-source: error:   new version is symlink to libcryptominisat5.so.5.11
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to CMakeFiles/3.27.2/CMakeDetermineCompilerABI_C.bin: binary file contents changed
> dpkg-source: error: add CMakeFiles/3.27.2/CMakeDetermineCompilerABI_C.bin in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'CMakeFiles/3.27.2/CMakeDetermineCompilerABI_C.bin' will not be represented in diff
> dpkg-source: error: cannot represent change to CMakeFiles/3.27.2/CMakeDetermineCompilerABI_CXX.bin: binary file contents changed
> dpkg-source: error: add CMakeFiles/3.27.2/CMakeDetermineCompilerABI_CXX.bin in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'CMakeFiles/3.27.2/CMakeDetermineCompilerABI_CXX.bin' will not be represented in diff
> dpkg-source: error: cannot represent change to CMakeFiles/3.27.2/CompilerIdC/a.out: binary file contents changed
> dpkg-source: error: add CMakeFiles/3.27.2/CompilerIdC/a.out in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'CMakeFiles/3.27.2/CompilerIdC/a.out' will not be represented in diff
> dpkg-source: error: cannot represent change to CMakeFiles/3.27.2/CompilerIdCXX/a.out: binary file contents changed
> dpkg-source: error: add CMakeFiles/3.27.2/CompilerIdCXX/a.out in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'CMakeFiles/3.27.2/CompilerIdCXX/a.out' will not be represented in diff
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o: binary file contents changed
> dpkg-source: error: add cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file cryptominisat-5.11.4+dfsg1/compile_commands.json has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to cryptominisat5: binary file contents changed
> dpkg-source: error: add cryptominisat5 in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'cryptominisat5' will not be represented in diff
> dpkg-source: error: cannot represent change to cryptominisat5_simple: binary file contents changed
> dpkg-source: error: add cryptominisat5_simple in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'cryptominisat5_simple' will not be represented in diff
> dpkg-source: warning: file cryptominisat-5.11.4+dfsg1/install_manifest.txt has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to lib/libcryptominisat5.so.5.11: binary file contents changed
> dpkg-source: error: add lib/libcryptominisat5.so.5.11 in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'lib/libcryptominisat5.so.5.11' will not be represented in diff
> dpkg-source: warning: file cryptominisat-5.11.4+dfsg1/src/pycryptosat.egg-info/SOURCES.txt has no final newline (either original or modified version)
> 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/cryptominisat_5.11.4+dfsg1-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.