marco/docs/devcontainer.json at master · marco-compiler/marco · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
{
  "name": "MARCO Dev Container",
  "image": "ghcr.io/marco-compiler/marco-dev-debug-debian-12:latest",
  "remoteUser": "marco",
  "workspaceFolder": "/workspace",
  "workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,consistency=cached",
  "customizations": {
    "vscode": {
      "settings": {
        "terminal.integrated.defaultProfile.linux": "bash",
        "cmakeExplorer.suiteDelimiter": ".",
        "cmakeExplorer.debugConfig": "(gdb) Launch",
        "editor.formatOnSave": true,
        "cmake.buildDirectory": "${workspaceFolder}/build",
        "cmake.generator": "Ninja",
        "cmake.defaultVariants": {
          "buildType": {
            "default": "reldeb",
            "description": "The build type.",
            "choices": {
              "debug": {
                "short": "Debug",
                "long": "Disable optimizations - include debug information.",
                "buildType": "Debug"
              },
              "release": {
                "short": "Release",
                "long": "Optimize for speed - exclude debug information.",
                "buildType": "Release"
              },
              "minsize": {
                "short": "MinSizeRel",
                "long": "Optimize for smallest binary size - exclude debug information.",
                "buildType": "MinSizeRel"
              },
              "reldeb": {
                "short": "RelWithDebInfo",
                "long": "Optimize for speed - include debug information.",
                "buildType": "RelWithDebInfo"
              }
            }
          }
        }
      },
      "extensions": [
        "ms-vscode.cmake-tools"
      ]
    }
  }
}