Re: Preparation of the transition to OCaml 4.05.0: status update
Ximin Luo:
> [..]
>
> 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?
>
asachi.debian.org is having some issues, it hangs after you log in with SSH but before you get a shell.
If anyone else can offer up a arm64 test box please let me know, since I can't reproduce this failure myself atm.
X
--
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git
Reply to: