The following commit has been merged in the master branch:
commit a992ff46c5ff4aba05501c4dacc6676c32a6e1eb
Author: Stephane Glondu <>
Date:   Tue May 24 12:03:15 2011 +0200

    Document Debian-specific -custom behaviour in README.Debian

diff --git a/debian/README.Debian b/debian/README.Debian
new file mode 100644
index 0000000..872a07a
--- /dev/null
+++ b/debian/README.Debian
@@ -0,0 +1,14 @@
+OCaml Debian package
+In upstream OCaml, “ocamlc -custom” produces executables that cannot
+be stripped (more precisely, the bytecode, which is not part of the
+ELF data, is removed by strip). This Debian version is patched (and
+the patch has been rejected by upstream [1], but is available
+separately in debian/patches) so that the bytecode is embedded in the
+executable and can be stripped. The original behaviour is restored if
+the OCAML_COMPAT environment variable contains the letter “c”.
+ -- Stéphane Glondu <>, Tue, 24 May 2011 12:02:51 +0200

OCaml packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to