[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-11-23-gf5850e5

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 510b38eb89569adc36ec5459e2e017758718e872
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 13 12:43:26 2011 +0100

    fix aut_install target

diff --git a/debian/rules b/debian/rules
index 434f663..4247cda 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,6 +3,8 @@
 # do we have compilation of ocaml to native code?
 OPT = $(shell test -x /usr/bin/ocamlopt && echo true)
 
+BIN = debian/tmp/bin
+
 %:
 	dh $@ --with ocaml
 
@@ -16,15 +18,20 @@ override_dh_auto_build:
 	$(MAKE)
 ifeq ($(OPT),true)
 	make pkglab.opt
-	cp pkglab.opt pkglab
 	cd distcheck && make distcheck.opt
-	cd distcheck && cp distcheck.opt distcheck
 else
 	make pkglab
 	cd distcheck && make distchec
 endif
 	cd doc && make pkglab.html
 
+overide_dh_auto_install:
+ifeq ($(OPT),true)
+	cp pklab.opt distcheck/distcheck.opt $(BIN) 
+else
+	cp pklab distcheck/distcheck $(BIN) 
+endif
+
 override_dh_strip:
 ifeq ($(OPT),true)
 	dh_strip

-- 
pkglab packaging