Embed bytecode in C object when using -custom
authorStephane Glondu <steph@glondu.net>
Sat, 21 Jul 2012 13:40:52 +0000 (15:40 +0200)
committerRalf Treinen <treinen@debian.org>
Fri, 15 Jul 2016 20:19:44 +0000 (20:19 +0000)
commit2d3dc6b506cce9f48280d1af94c26ce20114167c
tree8a9ca09a938db638fc87034945fbddbdb767a8be
parentc9a3d25d37363b1057da4384f17d145eec9674b0
Embed bytecode in C object when using -custom

This patch fixes non-strippability of bytecode executables linked with
custom runtime. The new behaviour is enabled when OCAML_CUSTOM_EMBED
is set to "y", or when DEB_HOST_ARCH is non-empty.

Forwarded: not-needed
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627761
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678577
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0006-Embed-bytecode-in-C-object-when-using-custom.patch
bytecomp/bytelink.ml
testsuite/tests/basic-manyargs/Makefile
testsuite/tests/callback/Makefile
testsuite/tests/embedded/Makefile
testsuite/tests/gc-roots/Makefile
testsuite/tests/lib-dynlink-bytecode/Makefile
testsuite/tests/lib-marshal/Makefile