Multi-arch images

[Blaisorblade]

Docker lets you create images supporting multiple archs. Supporting ARM and x86 might be nice, even if not high priority. Priority might even decrease once Docker supports Rosetta emulation properly.

(Discussed on Zulip).

[amblafont]

I am also interested in arm64 support. I am happy to contribute (although I am a beginner with docker)

[tchajed]

@amblafont if you want to work on this a starting point is docker buildx build --platform=linux/amd64,linux/arm64 ., which uses the buildx plugin to do a multi-arch build.

I think this has to emulate the platform you're not on, which is fine when run on arm64 but it's extremely slow to emulate arm64 on an Intel machine (I did this to build Z3 and it took several hours).

[amblafont]

Is there a way to build the two images on two different machines so that they build natively? I have an amd64 and an arm64 machine (Mac)