Stéphane Glondu: > On 22/07/2017 19:48, Ximin Luo wrote: >> Sadly we now have one new failure, on arm64: >> >> https://buildd.debian.org/status/fetch.php?pkg=ocaml&arch=arm64&ver=4.05.0-5&stamp=1500739972&raw=0 >> >> E: Build killed with signal TERM after 150 minutes of inactivity >> >> Even though this was built in experimental, it was built with the binutils >> from sid: >> >> [..] >> Get:21 http://mirror.netcologne.de/debian unstable/main arm64 binutils-dev >> arm64 2.28-6 [2182 kB] >> [..] >> Selecting previously unselected package binutils-dev. >> Preparing to unpack .../19-binutils-dev_2.28-6_arm64.deb ... >> Unpacking binutils-dev (2.28-6) ... >> [..] >> >> This did not happen with the previous builds, and I didn't change anything >> relating to arm64. >> >> However after reading https://caml.inria.fr/mantis/view.php?id=7585 I wonder >> if this is just the same issue? Apparently ocaml will generated aarch64 >> instructions that on some corner cases (which I don't understand) are >> incorrect and the new binutils simply rejects these? Perhaps with the old >> binutils, these same faulty corner cases will sometimes result in these test >> suite timeouts? > > Did you see #868860? > > If nobody cares, maybe we could just drop native support on arm64? >
We are making a bit of process over on the upstream mantis ticket. In the worst case scenario if there is no further progress, I think it will be possible to retain native support on arm64 but drop native-dynlink spport. I'll give it a few more days and if nothing further happens I'll do a upload like that. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
