Embed bytecode in C object when using -custom
authorStephane Glondu <steph@glondu.net>
Sat, 21 Jul 2012 13:40:52 +0000 (15:40 +0200)
committerMehdi Dogguy <mehdi@debian.org>
Wed, 21 Dec 2016 23:48:59 +0000 (23:48 +0000)
commitc01da400d4f36b49da0e42fab6375bec9e3af931
treef5126422cb4e66b0a49d73a87e733cf5739d63ea
parent427e717f1ca888274ad3f2910ac0e570b5d24fef
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