From: Stéphane Glondu <glondu@debian.org>
Date: Wed, 15 Jan 2025 07:26:08 +0000 (+0100)
Subject: Enable native backend on hurd-amd64 (Closes: #1086600)
X-Git-Tag: archive/raspbian/5.3.0-2+rpi1^2~15
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0f222b9277e63919716c866cea48b026b07b854e;p=ocaml.git

Enable native backend on hurd-amd64 (Closes: #1086600)
---

diff --git a/debian/native-archs b/debian/native-archs
index fc08be65..a8ea21ea 100644
--- a/debian/native-archs
+++ b/debian/native-archs
@@ -1 +1 @@
-amd64 arm64 kfreebsd-amd64 ppc64el s390x riscv64
+amd64 arm64 hurd-amd64 kfreebsd-amd64 ppc64el s390x riscv64
diff --git a/debian/patches/0007-Enable-native-backend-on-hurd-amd64.patch b/debian/patches/0007-Enable-native-backend-on-hurd-amd64.patch
new file mode 100644
index 00000000..acd5d1f0
--- /dev/null
+++ b/debian/patches/0007-Enable-native-backend-on-hurd-amd64.patch
@@ -0,0 +1,23 @@
+From: Samuel Thibault <sthibault@debian.org>
+Date: Wed, 15 Jan 2025 08:23:51 +0100
+Subject: Enable native backend on hurd-amd64
+
+Bug-Debian: https://bugs.debian.org/1086600
+Forwarded: https://github.com/ocaml/ocaml/pull/13587
+---
+ configure.ac | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/configure.ac b/configure.ac
+index af1ea7b..2f5d2a1 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -1490,7 +1490,7 @@ AS_CASE([$host],
+   [x86_64-*-linux*],
+     [has_native_backend=yes; arch=amd64; system=linux],
+   [x86_64-*-gnu*],
+-    [arch=amd64; system=gnu],
++    [has_native_backend=yes; arch=amd64; system=gnu],
+   [x86_64-*-dragonfly*],
+     [arch=amd64; system=dragonfly],
+   [x86_64-*-solaris*],
diff --git a/debian/patches/series b/debian/patches/series
index 84b6ca61..b94dc4ce 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
 0006-Do-not-error-on-warnings-in-autoconf.patch
 0007-Put-manpages-in-section-3o-instead-of-3.patch
+0007-Enable-native-backend-on-hurd-amd64.patch