[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. e3233ddb987f62a0b37b2dd935aa0cda963feffd

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit f633d8eaee76fb6cb066c0fc14f53576bff1b957
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Tue Jun 3 14:26:52 2008 +0200

    avoid stripping ceve bytecode executable

diff --git a/debian/rules b/debian/rules
index a97950f..4b1bb4c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,6 +10,7 @@ DEB_MAKE_BUILD_TARGET = opt
 else
 DEB_MAKE_BUILD_TARGET = all
 DEB_DH_GENCONTROL_ARGS += -VF:OCamlInterpDepends="ocaml-base-nox-$(OCAML_ABI), libdose2-ocaml, libexpat-ocaml"
+DEB_STRIP_EXCLUDE += usr/bin/ceve
 endif
 DEB_MAKE_INSTALL_TARGET = install BINDIR=$(CURDIR)/debian/$(BIN_PKG)/usr/bin
 

-- 
ceve packaging