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 <nico...@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.2040...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to