mirror of
https://github.com/bytecodealliance/wasm-micro-runtime.git
synced 2026-01-18 15:26:40 +00:00
46822b8f4b
The goal is to keep the devcontainer image minimal and its build time as fast as possible. - Remove all rarely used tools. - Change the base image to the latest template. - Synchronize the WASI-SDK and WABT versions with those used by the CI.
29 lines
584 B
JSON
29 lines
584 B
JSON
{
|
|
"name": "WAMR Dev",
|
|
"build": {
|
|
"dockerfile": "Dockerfile",
|
|
"args": {
|
|
"VARIANT": "debian-12",
|
|
"WASI_SDK_VER": "25",
|
|
"WABT_VER": "1.0.37"
|
|
}
|
|
},
|
|
"runArgs": [
|
|
"--cap-add=SYS_PTRACE",
|
|
"--security-opt",
|
|
"seccomp=unconfined"
|
|
],
|
|
"customizations": {
|
|
"vscode": {
|
|
"settings": {},
|
|
"extensions": [
|
|
"dtsvet.vscode-wasm",
|
|
"ms-python.python",
|
|
"ms-python.vscode-pylance",
|
|
"ms-vscode.cmake-tools"
|
|
]
|
|
}
|
|
},
|
|
"postCreateCommand": "bash .devcontainer/finalize.sh",
|
|
"remoteUser": "vscode"
|
|
} |