[Pkg-ocaml-maint-commits] [SCM] lablgtk2 packaging branch, master, updated. debian/2.14.2+dfsg-3-14-g785523b

[Lifeng Sun]

The following commit has been merged in the master branch:
commit 785523ba548341ef31832e82142f5c619219d1eb
Author: Lifeng Sun <lifongsun at gmail.com>
Date:   Thu Jul 25 23:39:53 2013 +0800

    Don't install *Props.* files.

diff --git a/debian/patches/0003-dont-install-Props-files.patch b/debian/patches/0003-dont-install-Props-files.patch
new file mode 100644
index 0000000..07adb6e
--- /dev/null
+++ b/debian/patches/0003-dont-install-Props-files.patch
@@ -0,0 +1,19 @@
+--- a/src/Makefile
++++ b/src/Makefile
+@@ -236,6 +236,7 @@
+ 	gUtil.cmo gToolbox.cmo
+ MLOBJS =  $(MLOBJS1) $(ENUMOBJS) $(MLOBJS2) $(GTKPROPS:.props=Props.cmo) \
+ 	$(MLOBJS3) $(GTKPROPS:%.props=o%Props.cmo) $(MLOBJS4)
++MLXOBJS = $(MLOBJS1) $(ENUMOBJS) $(MLOBJS2) $(MLOBJS3) $(MLOBJS4)
+ THOBJS = gtkThread.cmo
+ INITOBJS = gtkInit.cmo
+ ifdef USE_GTKQUARTZ
+@@ -244,7 +245,7 @@
+ THINITOBJS = gtkThInit.cmo
+ endif
+ EXTRAOBJS = $(INITOBJS) $(THOBJS) $(THINITOBJS)
+-ALLOBJS = $(MLOBJS) $(GLMLOBJS) $(GNOMEMLOBJS) $(GLADEMLOBJS) \
++ALLOBJS = $(MLXOBJS) $(GLMLOBJS) $(GNOMEMLOBJS) $(GLADEMLOBJS) \
+ 	$(RSVGMLOBJS) $(GNOMECANVASMLOBJS) $(GNOMEUIMLOBJS) $(PANELMLOBJS) \
+ 	$(GTKSPELLMLOBJS) $(GTKSOURCEVIEW2MLOBJS) \
+ 	$(INITOBJS)
diff --git a/debian/patches/series b/debian/patches/series
index 53b7513..ba67c55 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0001-Disable-svgz.patch
 0002-fix-install-path.patch
+0003-dont-install-Props-files.patch

-- 
lablgtk2 packaging