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

[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 changes for each 
single change to build-depends-indep.


diff -u eprover-1.0.004/debian/rules eprover-1.0.004/debian/rules
--- eprover-1.0.004/debian/rules
+++ eprover-1.0.004/debian/rules
@@ -38,7 +38,7 @@
 	CFLAGS="$(CFLAGS)" ./configure --prefix=/usr
 
 
-build: build-indep build-arch
+build: build-arch
 
 build-arch: build-stamp-arch

Bye
-- 
-gaspa-
-----------------------------------------------
--------- http://launchpad.net/~gaspa ---------
------ HomePage: iogaspa.altervista.org -------
-Il lunedi'dell'arrampicatore: www.lunedi.org -