Bug#521918: pbuilder --build --binary-arch invokes 'build' target

[Petr Pudlak]

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, deb at 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.
>