[Pkg-ocaml-maint-commits] [SCM] ocamlduce packaging branch, master, updated. debian/3.11.1.0-1-10-ga7d28e8

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d54adbb02d88cf34513f97eacf06488272129591
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Oct 14 17:21:46 2009 +0200

    Build and install ocamlduceobjinfo

diff --git a/debian/rules b/debian/rules
index 9be5d52..898c809 100755
--- a/debian/rules
+++ b/debian/rules
@@ -35,6 +35,7 @@ config-stamp: ocamlinit-stamp
 build: build-stamp
 build-stamp: config-stamp
 	$(MAKE_DUCE) $(BUILD_TARGET)
+	cd $(OCAML_SRCDIR) && ocamlbuild tools/objinfo.byte
 	$(DH) build --after auto_build
 	touch $@
 
@@ -42,6 +43,8 @@ install: install-stamp
 install-stamp: build-stamp
 	$(DH) install --before auto_install
 	$(MAKE_DUCE) PREFIX=../debian/tmp/usr $(INSTALL_TARGET)
+	install -m 755 $(OCAML_SRCDIR)/_build/tools/objinfo.byte \
+	  debian/tmp/usr/bin/ocamlduceobjinfo
 	$(DH) install --after auto_install
 	touch $@
 

-- 
ocamlduce packaging