[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 e4ce426b7de5b8b87b008a8bee821b0750d996f4
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jul 21 20:58:52 2010 +0200

    ad patch

diff --git a/debian/patches/install b/debian/patches/install
new file mode 100644
index 0000000..cbcf0b2
--- /dev/null
+++ b/debian/patches/install
@@ -0,0 +1,13 @@
+Index: dose3/Makefile
+===================================================================
+--- dose3.orig/Makefile	2010-07-21 20:55:14.000000000 +0200
++++ dose3/Makefile	2010-07-21 20:56:07.000000000 +0200
+@@ -53,7 +53,7 @@
+ 	test -d $(LIBDIR) || mkdir -p $(LIBDIR)
+ 	$(INSTALL) -patch-version $(VERSION) $(NAME) $(INSTALL_STUFF)
+ 	test -d $(BINDIR) || mkdir -p $(BINDIR)
+-	if [ -f _build/*.native ] ; then \
++	if [ "$(OCAMLBEST)" = "native" ] ; then \
+ 		cp applications/_build/*.native $(BINDIR)/ ; \
+ 	else \
+ 		cp applications/_build/*.byte $(BINDIR)/ ; \

-- 
dose3 packaging