From: Stephane Glondu <steph@glondu.net>
Date: Thu, 30 Jan 2020 12:07:16 +0000 (+0100)
Subject: read_main_debug_info: do not die in -custom executables
X-Git-Tag: archive/raspbian/4.08.1-8+rpi1^2~8
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=cc31cf75539caabda122b14443e6e36b4e90eb14;p=ocaml.git

read_main_debug_info: do not die in -custom executables
---

diff --git a/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch b/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch
new file mode 100644
index 00000000..8239d571
--- /dev/null
+++ b/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch
@@ -0,0 +1,25 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Thu, 30 Jan 2020 13:06:08 +0100
+Subject: read_main_debug_info: do not die in -custom executables
+
+This fatal error occurred with some executables linked with -custom
+(with the Debian-specific patch), notably ppx preprocessors during the
+build of ppxlib.
+
+---
+ runtime/backtrace_byt.c | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/runtime/backtrace_byt.c b/runtime/backtrace_byt.c
+index 8ea94ee..d82816c 100644
+--- a/runtime/backtrace_byt.c
++++ b/runtime/backtrace_byt.c
+@@ -342,7 +342,7 @@ static void read_main_debug_info(struct debug_info *di)
+ 
+   fd = caml_attempt_open(&exec_name, &trail, 1);
+   if (fd < 0){
+-    caml_fatal_error ("executable program file not found");
++    /* caml_fatal_error ("executable program file not found"); */
+     CAMLreturn0;
+   }
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 669f3e57..091e2f65 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@
 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
 0008-Reimplement-custom-without-hacks.patch
+0006-read_main_debug_info-do-not-die-in-custom-executable.patch