New: build Docker images for multiple architectures

uds-se · Jun 30, 2024 · 3e380d1 · 3e380d1
1 parent bc41aad
commit 3e380d1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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