aarch64 not using binary cache

[SeungheonOh]

I tried to use haskell.nix with my aarch64 machine. However, it attempts to build ghc no matter what version I try. More interestingly, when I try to use GHC966, it builds GHC 966 with GHC964 that it pulled from some binary cache, and when I try to use GHC964, it builds GHC 964 with GHC966 that it got from somewhere.

My question is, do we have aarch64_linux ghc in iog binary cache? and if yes, how can I make it use the pulled ghc instead of building it from scratch

[SeungheonOh]

Also, it would be immensely helpful to have a way to figure out what version of GHC is currently available in binary cache.

[SeungheonOh]

Oh, I just realized aarch64 is not run by ci. Disabled here. Maybe we can enable that?

[hamishmack]

We don't have an aarch64-linux server right now. @angerman is looking into maybe running linux on an apple silicon Mac.

[SeungheonOh]

That would be very helpful. Thanks.

Besides, cross compilation from x86_64-linux to aarch64-linux is not difficult at all. If there are performant enough ci machines, this might also be feasible.

[SeungheonOh]

Update: I successfully built GHC966 via haskell.nix. Works fine.

[SeungheonOh]

Any updates here on adding linux-aarch64 binary cache builder?

[angerman]

@SeungheonOh I'd like to plug in a powerful one, our experiments with the M1 minis hasn't been great :(

[SeungheonOh]

I don't know how the infra is setup, but maybe it'd be nice do invest in one of this: https://system76.com/desktops/thelio-astra-a1-n1/configure ? I feel like having linux aarch64 is pretty valuable enough.

Or else, I have x1 elite on my laptop which is powerful enough to compile GHC in 30 minutes or so. Driver support is very lacking though

[angerman]

Hetzner has a similar machine for rent. At ~200/mo, which would make this a ~2year amortized investment. As I'm paying for all of Haskell.nix's ci out of pocket I am however reluctant to add such expenses right now.

[SeungheonOh]

Oh wow, I'm surprised that there's no budget for haskell.nix ci cost from IOG.