Set devcontainer platform to linux/amd64 (#33)

thpani · web-flow · commit 401f25f26a72 · 2024-04-19T14:45:28.000+02:00
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": {},

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# Force platform to linux/amd64; there is no Z3 release for linux/arm64:`
	`2`	`+# https://github.com/Z3Prover/z3/issues/7201`
	`3`	`+FROM --platform=linux/amd64 mcr.microsoft.com/devcontainers/typescript-node:20-bookworm`