Enable native backend and dynlink on hurd-amd64
authorSamuel Thibault <sthibault@debian.org>
Wed, 15 Jan 2025 07:23:51 +0000 (08:23 +0100)
committerStéphane Glondu <glondu@debian.org>
Mon, 27 Jan 2025 12:17:46 +0000 (13:17 +0100)
commit452382cb49ba06d6e7b7955f1a32fd32490c9f6e
tree188317197520091a04334c9a8c26b19f41e852a8
parent43e6e4a1ce9fc0cf5318c7d6216c7bbcbac669a1
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
configure.ac