Bug#521918: eprover: FTBFS with binary-arch build

2011-09-17 Thread Jakub Wilk
* Nikita V. Youshchenko , 2009-11-24, 21:16: Patch suggested by ubuntu is broken: build target mush build everything, including arch-independed part. See Debian Policy, sec. 4.9. I think you missed the point. This bug is all about working around deficiencies in this particular point of the P

Bug#521918: eprover: FTBFS with binary-arch build

2009-05-29 Thread Andrea Gasparini
Tags: patch Hi, JFI I resolved in ubuntu this problem only with the following single change. This way the rules does not calls build-indep, but if called explicitly. This seems to me more clean than use the whole "[ ! -x $executable ]" pattern... it's not generic, and teorically requires change

Bug#521918: eprover: FTBFS with binary-arch build

2009-03-30 Thread Daniel Schepler
Package: eprover Version: 1.0.004-1 Severity: serious From my pbuilder build log, passing --binary-arch on the command line (and the buildd logs are showing the same thing): ... # Add here commands to configure the package. cp -f /usr/share/misc/config.sub config.sub cp -f /usr/share/misc/config.