Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)

[Santiago Vila <sanvila@unex.es>]

tags 806008 + patch
thanks

>    debian/rules override_dh_install
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> dh_install --fail-missing
> cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm
> cp: cannot create regular file 'debian/coqide/usr/share/pixmaps/coqide.xpm': No such file or directory
> debian/rules:86: recipe for target 'override_dh_install' failed

Explanation: We are creating arch-independent packages only.

The "coqide" package is arch-dependent so debian/coqide/[...] does not exist.

The trivial fix is to override dh_install only for arch-dependent
packages.

The following patch (untested) might help.

Another option, since the file is very small, is to have a copy
at debian/coqide.xpm and add a suitable line to debian/coqide.install.

In this case override_dh_install could be dropped completely.


Thanks.

diff --git a/debian/rules b/debian/rules
index 6343da5..3835e2e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -81,8 +81,8 @@ override_dh_auto_install:
 	find debian/tmp -name '*.vo' -printf '%P\n' \
 	  >> debian/coq-theories.install
 
-.PHONY: override_dh_install
-override_dh_install:
+.PHONY: override_dh_install-arch
+override_dh_install-arch:
 	dh_install --fail-missing
 	cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm