[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-35-g929b2cb

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 574e0e026030cda446cdc2ff03feedcda3d71baa
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jul 20 22:54:55 2010 +0200

    do not install META files

diff --git a/Makefile b/Makefile
index c900adc..b3b4997 100644
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,7 @@ test:
 
 tags: TAGS
 
-INSTALL_STUFF = META
+INSTALL_STUFF =
 INSTALL_STUFF += $(wildcard _build/*.cma _build/*.cmxa _build/cudf.a)
 INSTALL_STUFF += $(wildcard _build/cudf_*.cmi) $(wildcard *.mli)
 INSTALL_STUFF += $(wildcard _build/cudf_*.cmx _build/cudf_*.o _build/cudf_*.a)
diff --git a/debian/patches/no-meta b/debian/patches/no-meta
new file mode 100644
index 0000000..4bc30e4
--- /dev/null
+++ b/debian/patches/no-meta
@@ -0,0 +1,17 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: META files are currently missing in upstream - do not try to
+  install them!
+
+Index: dose3/Makefile
+===================================================================
+--- dose3.orig/Makefile	2010-07-20 22:52:39.000000000 +0200
++++ dose3/Makefile	2010-07-20 22:53:20.000000000 +0200
+@@ -43,7 +43,7 @@
+ 
+ tags: TAGS
+ 
+-INSTALL_STUFF = META
++INSTALL_STUFF =
+ INSTALL_STUFF += $(wildcard _build/*.cma _build/*.cmxa _build/cudf.a)
+ INSTALL_STUFF += $(wildcard _build/cudf_*.cmi) $(wildcard *.mli)
+ INSTALL_STUFF += $(wildcard _build/cudf_*.cmx _build/cudf_*.o _build/cudf_*.a)
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..f892265
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+no-meta

-- 
dose3 packaging