The following commit has been merged in the master branch:
commit 785523ba548341ef31832e82142f5c619219d1eb
Author: Lifeng Sun <lifong...@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

_______________________________________________
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