Set devcontainer platform to linux/amd64

freespek · Apr 19, 2024 · 2283ad9 · 2283ad9
1 parent 24e7def
commit 2283ad9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/solarkraft/.devcontainer/Dockerfile b/solarkraft/.devcontainer/Dockerfile
@@ -0,0 +1,3 @@
+# Force platform to linux/amd64; there is no Z3 release for linux/arm64:
+# https://github.com/Z3Prover/z3/issues/7201
+FROM --platform=linux/amd64 mcr.microsoft.com/devcontainers/typescript-node:20-bookworm
diff --git a/solarkraft/.devcontainer/devcontainer.json b/solarkraft/.devcontainer/devcontainer.json
@@ -2,7 +2,9 @@
 // For format details, see https://aka.ms/devcontainer.json.
 {
 	"name": "Solarkraft",
-	"image": "mcr.microsoft.com/devcontainers/typescript-node:20-bookworm",
+	"build": {
+		"dockerfile": "Dockerfile"
+	},
 	"features": {
 		"ghcr.io/devcontainers/features/java:1": {},
 		"ghcr.io/stuartleeks/dev-container-features/shell-history:0": {},