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 -
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
