[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, 312/master, updated. debian/3.11.2-1-30-g08e64e5

[Stephane Glondu]

The following commit has been merged in the 312/master branch:
commit 2238563e66cae4c8fc3a42851dd46faf87126fbf
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jul 6 10:51:05 2010 +0200

    Install inadvertly removed dumpobj...

diff --git a/debian/rules b/debian/rules
index 5c08544..b2bbf52 100755
--- a/debian/rules
+++ b/debian/rules
@@ -117,6 +117,7 @@ build-stamp: config-stamp
 ifeq ($(BUILDCACHE),)
 	$(MAKE) world
 	$(MAKE) bootstrap
+	$(MAKE) -C tools dumpobj
 ifeq (,$(OCAML_OPT_ARCH))
 # As of 3.11.0, manpages are made only in `make opt.opt'
 	make -C ocamldoc manpages \
@@ -188,6 +189,11 @@ endif
 # Install additional files not handled by dh_install
 # Beware: dh_install does not handle renamings, please pay attention
 	cp otherlibs/labltk/README debian/ocaml/usr/share/doc/ocaml/README.labltk
+	for u in dumpobj; do \
+	  if [ -f tools/$$u ]; then \
+	    cp tools/$$u debian/ocaml-nox/usr/bin/ocaml$$u; \
+	  fi \
+	done
 	for mli in `find camlp4 -name '*.mli'` ; do \
 	  cp --parents $$mli debian/camlp4$(OCAML_STDLIB_DIR); \
 	done

-- 
OCaml packaging