From 0f222b9277e63919716c866cea48b026b07b854e Mon Sep 17 00:00:00 2001 From: =?utf8?q?St=C3=A9phane=20Glondu?= Date: Wed, 15 Jan 2025 08:26:08 +0100 Subject: [PATCH] Enable native backend on hurd-amd64 (Closes: #1086600) --- debian/native-archs | 2 +- ...-Enable-native-backend-on-hurd-amd64.patch | 23 +++++++++++++++++++ debian/patches/series | 1 + 3 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 debian/patches/0007-Enable-native-backend-on-hurd-amd64.patch 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 +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 -- 2.30.2