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

2009-05-11 Thread Petr Pudlak
On Mon, May 11, 2009 at 03:11:22PM +0200, Filippo Rusconi wrote: > On Mon, May 11, 2009 at 02:11:18PM +0200, Julien Cristau wrote: > > > > On Mon, May 11, 2009 at 13:46:30 +0200, Lionel Elie Mamane wrote: > > > > > No, policy is very clear on that: if you call the "build" target, you > > > _must_

Bug#521918: RFS: eprover 1.0.004-2 - Theorem prover for first-order logic with equality

2009-05-09 Thread Petr Pudlak
Hi, I'm looking for a sponsor to upload an updated version 1.0.004-2 of the package. There are just minor changes from version 1.0.004-1: - Fixed FTBFS when calling pbuilder with --binary-arch (see bug #521918). - Removed unnecessary dependencies from debian/control. The package shoul

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

2009-05-06 Thread Petr Pudlak
ies on 'build-arch' and 'build-indep', so that the policy is satisfied? With best regards, Petr On Wed, May 06, 2009 at 02:31:52AM +0530, Kapil Hari Paranjape wrote: > Hello, > > On Tue, 05 May 2009, Petr Pudlak wrote: > > The problem is that if pbuilder i

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

2009-05-05 Thread 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 wh