Hi, I was trying to attend a reported bug (#521918) of a recently uploaded package 'eprover', but unfortunately I didn't know what to do about it. I've already asked on debian-mentors, but nobody replied.
The problem is that if pbuilder is invoked with --binary-arch, it still tries to build the whole project, including the documentation (indep). But the tools required to build the documentation are missing, since they are specified in Build-Depends-Indep:, not in Build-Depends:. It looks to me as if the problem is with pbuilder (or with the tools it's invoking), but of course the problem might as well be my ignorance. The only solution I thought of so far was to put the tools for building the documentation into Build-Depends:, but this seems to me (at least) as improper. Could anyone help me, either by advising how to properly solve the problem, or by pointing out what I'm doing wrong? Thanks in advance, Petr On Sun, Apr 26, 2009 at 04:22:42PM +0200, d...@pudlak.name wrote: > Hi, > > I'm trying to address bug #521918 <http://bugs.debian.org/521918>. When I > run pbuilder as > pbuilder --build --binary-arch eprover_1.0.004-1.dsc > so that it should build only the binary target, it seems to me that it > still invokes the 'debian/rules build' target, instead of 'build-arch' > (or 'binary-arch'?), which I'd expect. This way, the building process > fails, since it tries to build the documentation, but it's missing > Build-Depends-Indep packages (LaTeX, tex4ht, etc.). > > Am I doing something wrong? Could someone more experienced recommend me > how to solve this problem? > > Thanks in advance, > Petr > > [See http://git.debian.org/?p=debian-science/packages/eprover.git] > > ---------------------------------------------------------------- > This message was sent using IMP, the Internet Messaging Program. > -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org