From a992ff46c5ff4aba05501c4dacc6676c32a6e1eb Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 24 May 2011 12:03:15 +0200 Subject: [PATCH] Document Debian-specific -custom behaviour in README.Debian --- debian/README.Debian | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 debian/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 -- 2.30.2