Source: boolector Version: 1.5.118.6b56be4.121013-1.3 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] 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 boolector > dpkg-buildpackage: info: source version 1.5.118.6b56be4.121013-1.3 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Vagrant Cascadian > <[email protected]> > dpkg-source --before-build . > fakeroot debian/rules clean > dh_testdir > dh_testroot > rm -f build-stamp > # Add here commands to clean up after the build process. > [ ! -e makefile ] || /usr/bin/make clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > rm -f boolector deltabtor synthebtor > rm -f dependencies makefile btorconfig.h > rm -f *.gcda *.gcno *.gcov *.gch *.plist > rm -f log/*.log *.tmp > rm -f *.o *.a > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_clean > dh_clean: warning: Compatibility levels before 10 are deprecated (level 7 in > use) > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building boolector using existing > ./boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz > dpkg-source: info: building boolector using existing > ./boolector_1.5.118.6b56be4.121013.orig.tar.gz > dpkg-source: info: using patch list from debian/patches/series > dpkg-source: warning: ignoring deletion of file btorconfig.h, use > --include-removal to override > dpkg-source: error: cannot represent change to lingeling/ilingeling: binary > file contents changed > dpkg-source: error: add lingeling/ilingeling in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'lingeling/ilingeling' will not > be represented in diff > dpkg-source: error: cannot represent change to lingeling/ilingeling.o: binary > file contents changed > dpkg-source: error: add lingeling/ilingeling.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 lingeling/lglbnr.o: binary > file contents changed > dpkg-source: error: add lingeling/lglbnr.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 lingeling/lglib.o: binary file > contents changed > dpkg-source: error: add lingeling/lglib.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 lingeling/lglmain.o: binary > file contents changed > dpkg-source: error: add lingeling/lglmain.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 lingeling/liblgl.a: binary > file contents changed > dpkg-source: error: add lingeling/liblgl.a in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to lingeling/lingeling: binary > file contents changed > dpkg-source: error: add lingeling/lingeling in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: warning: executable mode 0755 of 'lingeling/lingeling' will not > be represented in diff > dpkg-source: error: cannot represent change to lingeling/plingeling: binary > file contents changed > dpkg-source: error: add lingeling/plingeling in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'lingeling/plingeling' will not > be represented in diff > dpkg-source: error: cannot represent change to lingeling/plingeling.o: binary > file contents changed > dpkg-source: error: add lingeling/plingeling.o 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/boolector_1.5.118.6b56be4.121013-1.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.
