[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-12-g55c95e6
Mehdi Dogguy
mehdi at debian.org
Wed Sep 9 15:40:20 UTC 2009
The following commit has been merged in the master branch:
commit 1d4bc0f8f6c2746744a35d8144e13213314fc2d5
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Wed Sep 9 17:35:43 2009 +0200
Do not strip bytecode binaries
diff --git a/debian/rules b/debian/rules
index e45b098..45f98a7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,6 +36,12 @@ ifeq ($(OCAML_OPT_ARCH),)
echo 'F:FramaCRuntime=liblablgtk2-gnome-ocaml,liblablgtksourceview-ocaml,ocaml-base-$(OCAML_ABI)' >> debian/frama-c.substvars
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: ocamlinit-clean
touch .depend
[ ! -f src/kernel/config.ml.debian ] || mv src/kernel/config.ml.debian src/kernel/config.ml
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list