Source: eprover Version: 2.6+ds-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 eprover > dpkg-buildpackage: info: source version 2.6+ds-3 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]> > dpkg-source --before-build . > debian/rules clean > dh clean > dh_auto_clean > make -j8 clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > make[2]: Entering directory '/<<PKGBUILDDIR>>/BASICS' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/BASICS' > make[2]: Entering directory '/<<PKGBUILDDIR>>/INOUT' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/INOUT' > make[2]: Entering directory '/<<PKGBUILDDIR>>/TERMS' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/TERMS' > make[2]: Entering directory '/<<PKGBUILDDIR>>/ORDERINGS' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/ORDERINGS' > make[2]: Entering directory '/<<PKGBUILDDIR>>/CLAUSES' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/CLAUSES' > make[2]: Entering directory '/<<PKGBUILDDIR>>/PROPOSITIONAL' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/PROPOSITIONAL' > make[2]: Entering directory '/<<PKGBUILDDIR>>/LEARN' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/LEARN' > make[2]: Entering directory '/<<PKGBUILDDIR>>/PCL2' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/PCL2' > make[2]: Entering directory '/<<PKGBUILDDIR>>/HEURISTICS' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/HEURISTICS' > make[2]: Entering directory '/<<PKGBUILDDIR>>/CONTROL' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/CONTROL' > make[2]: Entering directory '/<<PKGBUILDDIR>>/SIMPLE_APPS' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/SIMPLE_APPS' > make[2]: Entering directory '/<<PKGBUILDDIR>>/EXTERNAL' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/EXTERNAL' > make[2]: Entering directory '/<<PKGBUILDDIR>>/PROVER' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/PROVER' > make[2]: Entering directory '/<<PKGBUILDDIR>>/DOC' > make[2]: Leaving directory '/<<PKGBUILDDIR>>/DOC' > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building eprover using existing > ./eprover_2.6+ds.orig.tar.xz > dpkg-source: info: using patch list from debian/patches/series > dpkg-source: warning: newly created empty file 'DOC/Makefile.dependencies' > will not be represented in diff > dpkg-source: info: local changes detected, the modified files are: > eprover-2.6+ds/BASICS/Makefile.dependencies > eprover-2.6+ds/CLAUSES/Makefile.dependencies > eprover-2.6+ds/CONTROL/Makefile.dependencies > eprover-2.6+ds/DOC/man/checkproof.1 > eprover-2.6+ds/DOC/man/e_axfilter.1 > eprover-2.6+ds/DOC/man/e_deduction_server.1 > eprover-2.6+ds/DOC/man/e_ltb_runner.1 > eprover-2.6+ds/DOC/man/e_stratpar.1 > eprover-2.6+ds/DOC/man/eground.1 > eprover-2.6+ds/DOC/man/ekb_create.1 > eprover-2.6+ds/DOC/man/ekb_delete.1 > eprover-2.6+ds/DOC/man/ekb_ginsert.1 > eprover-2.6+ds/DOC/man/ekb_insert.1 > eprover-2.6+ds/DOC/man/epclextract.1 > eprover-2.6+ds/DOC/man/eprover.1 > eprover-2.6+ds/EXTERNAL/Makefile.dependencies > eprover-2.6+ds/HEURISTICS/Makefile.dependencies > eprover-2.6+ds/INOUT/Makefile.dependencies > eprover-2.6+ds/LEARN/Makefile.dependencies > eprover-2.6+ds/Makefile.vars > eprover-2.6+ds/ORDERINGS/Makefile.dependencies > eprover-2.6+ds/PCL2/Makefile.dependencies > eprover-2.6+ds/PROPOSITIONAL/Makefile.dependencies > eprover-2.6+ds/PROVER/Makefile.dependencies > eprover-2.6+ds/SIMPLE_APPS/Makefile.dependencies > eprover-2.6+ds/TERMS/Makefile.dependencies > dpkg-source: error: aborting due to unexpected upstream changes, see > /tmp/eprover_2.6+ds-3.diff.GLYVz8 > dpkg-source: info: Hint: make sure the version in debian/changelog matches > the unpacked source tree > dpkg-source: info: you can integrate the local changes with dpkg-source > --commit > dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2 > > 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/eprover_2.6+ds-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.
