From 3e380d1b5c31533b6947b8bad2965fad09c13fa4 Mon Sep 17 00:00:00 2001 From: Andreas Zeller Date: Sun, 30 Jun 2024 13:59:42 +0200 Subject: [PATCH] New: build Docker images for multiple architectures --- notebooks/shared/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/notebooks/shared/Makefile b/notebooks/shared/Makefile index a0889b99..f1d3ae95 100644 --- a/notebooks/shared/Makefile +++ b/notebooks/shared/Makefile @@ -1265,12 +1265,13 @@ binder/binder.log: .FORCE DOCKER_USERNAME = zeller24 GIT_HASH = $(shell git log --format="%h" -n 1) DOCKER_TAG = $(DOCKER_USERNAME)/$(PROJECT) +DOCKER_PLATFORM = linux/amd64,linux/arm64 DOCKERFILE = binder/Dockerfile JUPYTER_TOKEN=$(PROJECT) JUPYTER_PORT=8888 docker-image: $(DOCKERFILE) $(SOURCES) - docker build --tag $(DOCKER_TAG) binder + docker build --tag $(DOCKER_TAG) --platform $(DOCKER_PLATFORM) binder docker-shell: docker-image docker run -it --rm $(DOCKER_TAG) bash