From: Stephane Glondu <steph@glondu.net>
Date: Tue, 6 Jul 2010 08:51:05 +0000 (+0200)
Subject: Install inadvertly removed dumpobj...
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~335
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=2238563e66cae4c8fc3a42851dd46faf87126fbf;p=ocaml.git

Install inadvertly removed dumpobj...
---

diff --git a/debian/rules b/debian/rules
index 5c085447..b2bbf523 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