Enable native backend and dynlink on hurd-amd64

Bug-Debian: https://bugs.debian.org/1086600
Bug-Debian: https://bugs.debian.org/1094334
Forwarded: https://github.com/ocaml/ocaml/pull/13587

Gbp-Pq: Name 0007-Enable-native-backend-and-dynlink-on-hurd-amd64.patch

diff --git a/configure.ac b/configure.ac
index af1ea7b31ee69f270d0ac2e4aa2e73486bb0593c..705ab8a4da05710ae95b2d87dd3056525f2d0a2e 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1369,6 +1369,7 @@ AS_IF([test x"$supports_shared_libraries" = 'xtrue'],
     [*-pc-windows], [natdynlink=true],
     [[i[3456]86-*-linux*]], [natdynlink=true],
     [[i[3456]86-*-gnu*]], [natdynlink=true],
+    [[x86_64-*-gnu*]], [natdynlink=true],
     [[x86_64-*-linux*]], [natdynlink=true],
     [arm64-*-darwin*], [natdynlink=true],
     [aarch64-*-darwin*], [natdynlink=true],
@@ -1490,7 +1491,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*],