Bug#1005621: coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting
Source: coq-hierarchy-builder
Version: 1.2.1-1
Severity: serious
Justification: FTBFS
Tags: bookworm sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-20220212 ftbfs-bookworm
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> make[3]: Entering directory '/<<PKGBUILDDIR>>'
> make[3]: Leaving directory '/<<PKGBUILDDIR>>'
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> install -d /<<PKGBUILDDIR>>/debian/tmp/bin
> install -m 0755 coq.hb /<<PKGBUILDDIR>>/debian/tmp/bin
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_install
> dh_install: warning: Cannot find (any matches for) "usr/lib/coq/user-contrib/HB" (tried in ., debian/tmp)
>
> dh_install: warning: libhierarchy-builder-coq missing files: usr/lib/coq/user-contrib/HB
> dh_install: error: missing files, aborting
> make: *** [debian/rules:7: binary] Error 25
The full build log is available from:
http://qa-logs.debian.net/2022/02/12/coq-hierarchy-builder_1.2.1-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please marking 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: