[Pkg-ocaml-maint-commits] [SCM] lablgtk2 packaging branch, master, updated. debian/2.16.0+dfsg-1_exp1-3-gdc49d74

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a870100b83d36fc2978b05e563fda53e3a0576ce
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 26 08:43:40 2013 +0200

    Call dh_install with --fail-missing

diff --git a/debian/rules b/debian/rules
index 04333cc..25d7677 100755
--- a/debian/rules
+++ b/debian/rules
@@ -43,6 +43,8 @@ override_dh_auto_install:
 	rm \
 	  debian/tmp/usr/lib/ocaml/lablgtk2/gtkSourceView_types.mli \
 	  debian/tmp/usr/lib/ocaml/lablgtk2/gSourceView.mli
+# remove files related to uncompiled gnome-panel (see #638133)
+	rm debian/tmp/usr/lib/ocaml/lablgtk2/panel.mli
 
 .PHONY: override_dh_installexamples
 override_dh_installexamples:
@@ -50,4 +52,5 @@ override_dh_installexamples:
 
 .PHONY: override_dh_install
 override_dh_install:
-	dh_install --list-missing
+# FIXME, we should use upstream META and remove -XMETA below
+	dh_install --fail-missing -XMETA -Xbuild.ml

-- 
lablgtk2 packaging