From 0a2800db0c34217a7006c0d511a40fd100364c41 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 30 Jul 2020 11:24:08 +0200
Subject: [PATCH] Disable DT_TEXTREL warnings on i386

---
 ...le-DT_TEXTREL-warnings-on-Linux-i386.patch | 30 +++++++++++++++++++
 debian/patches/series                         |  1 +
 2 files changed, 31 insertions(+)
 create mode 100644 debian/patches/0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

diff --git a/debian/patches/0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch b/debian/patches/0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
new file mode 100644
index 00000000..856e72f2
--- /dev/null
+++ b/debian/patches/0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
@@ -0,0 +1,30 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Wed, 29 Jul 2020 16:22:39 +0200
+Subject: Disable DT_TEXTREL warnings on Linux i386
+
+Bug: https://github.com/ocaml/ocaml/issues/9800
+---
+ configure.ac | 10 ++++++++++
+ 1 file changed, 10 insertions(+)
+
+diff --git a/configure.ac b/configure.ac
+index 82172d7..0f22211 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -952,6 +952,16 @@ AS_CASE(["$arch,$system"],
+   [power,netbsd], [profiling=true],
+   [profiling=false])
+ 
++# Disable DT_TEXTREL warnings on Linux i386
++# See https://github.com/ocaml/ocaml/issues/9800
++
++AS_CASE([$host],
++  [i?86-*-linux-*],
++    [common_cflags="-Wl,-z,notext $common_cflags"
++    mksharedlib="$mksharedlib -Wl,-z,notext"
++    mkmaindll="$mkmaindll -Wl,-z,notext"],
++  [])
++
+ # Assembler
+ 
+ AS_CASE([$host],
diff --git a/debian/patches/series b/debian/patches/series
index 7bd239ed..c66a94db 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@
 0008-Reimplement-custom-without-hacks.patch
 0006-read_main_debug_info-do-not-die-in-custom-executable.patch
 0007-Avoid-duplicate-definitions-of-common-global-variabl.patch
+0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
-- 
2.30.2