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

diff --git a/debian/native-archs b/debian/native-archs
index fc08be655b521b301e782b64c401098b736ccc16..a8ea21ead18e80cc00224bd4ccf9fe41180ff3e5 100644 (file)
--- 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 (file)
index 0000000..acd5d1f
--- /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 84b6ca6167e1f5a64699726d39aafbff1c4967bd..b94dc4ceaa75fadd5b90fca21629e72ca3c77fa9 100644 (file)
--- 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