Embed bytecode in C object when using -custom
authorStephane Glondu <steph@glondu.net>
Tue, 11 Jul 2017 11:27:34 +0000 (13:27 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 25 Jan 2019 13:59:28 +0000 (14:59 +0100)
commit22d7668095314dd80db62cbd85179c38a5660b44
treee0df1acecf436b1865253581d269d7aca9c2400d
parentb510096b63a6feaca745a5f2755b1984237fae06
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
testsuite/tests/regression/pr3612/Makefile
testsuite/tests/runtime-C-exceptions/Makefile