[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1005621: marked as done (coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting)



Your message dated Thu, 24 Mar 2022 14:52:15 +0100
with message-id <073e0b548306496e887d7f66c585e65bcae1b601.camel@gmail.com>
and subject line Should be closed
has caused the Debian Bug report #1005621,
regarding coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1005621: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005621
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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.

--- End Message ---
--- Begin Message ---
Hi,

this report should be closed already: the version it was reported as
fixed has been in testing since long.

Cheers,

J.Puydt

--- End Message ---

Reply to: