search

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
https://hub.docker.com/r/coqorg/coq/
BSD 3-Clause "New" or "Revised" License
37 stars 3 forks source link

Multi-arch images #54

Open Blaisorblade opened 1 year ago

Blaisorblade commented 1 year ago

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 commented 10 months ago

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

tchajed commented 10 months ago

@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 commented 10 months ago

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)