Bug#1044397: coq-simple-io: Fails to build source after successful build
Source: coq-simple-io
Version: 1.8.0-3
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-simple-io
> dpkg-buildpackage: info: source version 1.8.0-3
> 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
> dh_auto_clean
> make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> if [ -e Makefile.coq ]; then make -f Makefile.coq cleanall; fi
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> CLEAN
> CLEAN *.aux *.timing
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f Makefile.coq Makefile.coq.conf *.cmxs
> rm -f -r _build/ build/
> rm -f deps.dot deps.jpg
> rm -f test/*.ml{i,} test/.*.aux
> rm -f plugin/compat.ml _CoqProject src/SimpleIO_Plugin.v src/IO_Stdlib.v src/IO_RawChar.v src/IO_String.v src/IO_Filename.v src/IO_Float.v src/IO_Unsafe.v test/TestInt63.v
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-simple-io using existing ./coq-simple-io_1.8.0.orig.tar.gz
> dpkg-source: info: local changes detected, the modified files are:
> coq-simple-io-1.8.0/plugin/META.coq-simple-io
> dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq-simple-io_1.8.0-3.diff.eFBSkw
> 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/coq-simple-io_1.8.0-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.
Reply to: