From: Stephane Glondu Date: Tue, 24 May 2011 10:03:15 +0000 (+0200) Subject: Document Debian-specific -custom behaviour in README.Debian X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~303 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a992ff46c5ff4aba05501c4dacc6676c32a6e1eb;p=ocaml.git Document Debian-specific -custom behaviour in README.Debian --- diff --git a/debian/README.Debian b/debian/README.Debian new file mode 100644 index 00000000..872a07a7 --- /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”. + +[1] http://bugs.debian.org/cgi-bin/bugreport.cgi?msg=49;bug=256900 + + -- Stéphane Glondu , Tue, 24 May 2011 12:02:51 +0200