The following commit has been merged in the master branch:
commit f188023dab3b0f4e0c4cb8dfa137c7748186a87b
Author: Mehdi Dogguy <me...@debian.org>
Date:   Sat Apr 23 18:50:16 2011 +0200

    No need to exclude custom bytecode binaries when running dh_strip

diff --git a/debian/changelog b/debian/changelog
index 3032aff..ba1856a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,10 @@ frama-c (20110201+carbon+dfsg-1) unstable; urgency=low
       + 0001-Value-Analysis-Carbon-patchlevel-1.patch
       + 0002-Fix-for-issue-727.patch
   * Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).
+  * No need to exclude custom bytecode binaries when running dh_strip.
+    (thanks to patch applied in OCaml >= 3.12.0-5)
 
- -- Mehdi Dogguy <me...@debian.org>  Sat, 23 Apr 2011 18:40:20 +0200
+ -- Mehdi Dogguy <me...@debian.org>  Sat, 23 Apr 2011 18:47:13 +0200
 
 frama-c (20100401+boron+dfsg-5) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 732194f..87632d1 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Maintainer: Debian OCaml Maintainers 
<debian-ocaml-ma...@lists.debian.org>
 Uploaders: Mehdi Dogguy <me...@debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
- ocaml-nox (>= 3.11.1-3~),
+ ocaml-nox (>= 3.12.0~),
  ocaml-best-compilers,
  dh-ocaml (>= 0.9~),
  graphviz,
diff --git a/debian/rules b/debian/rules
index 6ce2788..845792e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -37,12 +37,6 @@ ifeq ($(OCAML_OPT_ARCH),)
        $(RM) -f $(CURDIR)/debian/frama-c/usr/bin/frama-c.byte
 endif
 
-override_dh_strip:
-# frama-c is compiled with -custom
-ifdef OCAML_OPT_ARCH
-       dh_strip -X frama-c-gui.byte -X frama-c.byte
-endif
-
 override_dh_auto_clean:
        touch .depend
        [ ! -f src/kernel/config.ml.debian ] || mv src/kernel/config.ml.debian 
src/kernel/config.ml

-- 
frama-c packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to