src/Tools/VSCode/extension/.vscode/tasks.json
author paulson <lp15@cam.ac.uk>
Wed, 31 Jul 2024 18:47:05 +0100
changeset 80651 2cffa664482d
parent 75094 81a858c3cb5b
permissions -rw-r--r--
tidied more apply proofs
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     1
// Available variables which can be used inside of strings.
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     2
// ${workspaceRoot}: the root folder of the team
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     3
// ${file}: the current opened file
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     4
// ${fileBasename}: the current opened file's basename
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     5
// ${fileDirname}: the current opened file's dirname
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     6
// ${fileExtname}: the current opened file's extension
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     7
// ${cwd}: the current working directory of the spawned process
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     8
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     9
// A task runner that calls a custom npm script that compiles the extension.
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    10
{
75094
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    11
    "version": "2.0.0",
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    12
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    13
    // we want to run npm
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    14
    "command": "npm",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    15
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    16
    // we run the custom script "compile" as defined in package.json
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    17
    "args": ["run", "compile", "--loglevel", "silent"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    18
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    19
    // The tsc compiler is started in watching mode
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    20
    "isWatching": true,
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    21
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    22
    // use the standard tsc in watch mode problem matcher to find compile problems in the output.
75094
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    23
    "problemMatcher": "$tsc-watch",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    24
    "tasks": [
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    25
        {
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    26
            "label": "npm",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    27
            "type": "shell",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    28
            "command": "npm",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    29
            "args": [
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    30
                "run",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    31
                "compile",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    32
                "--loglevel",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    33
                "silent"
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    34
            ],
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    35
            "isBackground": true,
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    36
            "problemMatcher": "$tsc-watch",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    37
            "group": {
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    38
                "_id": "build",
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    39
                "isDefault": false
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    40
            }
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    41
        }
81a858c3cb5b auto-update by VSCode;
wenzelm
parents: 64605
diff changeset
    42
    ]
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    43
}