Hi Ilias, On Fri, 2026-01-09 at 18:08 +0200, Ilias Tsitsimpis wrote: > On Fri, Jan 09, 2026 at 01:59PM, John Paul Adrian Glaubitz wrote: > > The attached patch fixes the problem for me. It's not an ideal solution > > as it > > hardwires 32-bit ARM targets to armv7, but it should give us a rough idea > > what > > the underlying problem is. > > Unfortunately this patch results in an unregisterised GHC on armhf. I > tried to modify more places to fix this (see attached armv7.patch file) > but this resulted in a broken build.
Yeah, I was already fearing something like that. My guess is that the ghc-toolchain code needs to be reworked to support ABI types such as "gnueabihf". > I also tried disabling the check that GHC does during configuration (see > attached remove-check.patch file) and this succeeded. So at least we > have this as a backup plan. Does that allow the build to complete? Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
