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>
Thu, 12 Jun 2025 12:08:28 +0000 (14:08 +0200)
commit81e80d89a2214ad7a0348787ae6b70e36221d51e
tree6df6a621ad36c8d7bd309e178354a829df1076e4
parent94053a08fd205220399443f049b1161d96604c0d
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