[Pkg-ocaml-maint-commits] [aac-tactics] 01/02: Fail on non-installed files, and install .v files

[Nicolas Braud-Santoni]

This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch master
in repository aac-tactics.

commit 49c8c58d3df42bf783e7124762000c84e8ccb738
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sun Jul 31 22:00:52 2016 +0200

    Fail on non-installed files, and install .v files
    
    Per Stéphane Glondu's comments <579DC270.2040103 at debian.org>
---
 debian/libaac-tactics-coq.install | 1 +
 debian/rules                      | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/libaac-tactics-coq.install b/debian/libaac-tactics-coq.install
index ea6c204..b1c1948 100644
--- a/debian/libaac-tactics-coq.install
+++ b/debian/libaac-tactics-coq.install
@@ -1,2 +1,3 @@
+                          /usr/lib/coq/user-contrib/AAC_tactics/*.v
                           /usr/lib/coq/user-contrib/AAC_tactics/*.vo
 html/*                    /usr/share/doc/libaac-tactics-coq/theories
diff --git a/debian/rules b/debian/rules
index a8f1c94..e705617 100755
--- a/debian/rules
+++ b/debian/rules
@@ -24,7 +24,8 @@ override_dh_auto_install:
 
 .PHONY: override_dh_install
 override_dh_install:
-	dh_install
+	find debian/tmp -type f -name '*.glob' -delete
+	dh_install --fail-missing
 
 .PHONY: override_dh_gencontrol
 override_dh_gencontrol:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git