roosterize-vscode/package.json at master · EngineeringSoftware/roosterize-vscode · 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
51
52
53
54
55
56
57
58
59
60
61
62
63
{
    "name": "roosterize-vscode",
    "displayName": "Roosterize",
    "description": "Roosterize",
    "version": "1.0.0",
    "publisher": "EngineeringSoftware",
    "repository": "https://github.com/EngineeringSoftware/roosterize-vscode",
    "engines": {
        "vscode": "^1.51.0"
    },
    "categories": [
        "Other"
    ],
    "activationEvents": [
        "onLanguage:coq"
    ],
    "main": "./out/extension.js",
    "contributes": {
        "commands": [
            {
                "command": "extension.roosterize.suggest_naming",
                "title": "Roosterize: Suggest Naming (for all opened .v files)"
            },
            {
                "command": "extension.roosterize.download_global_model",
                "title": "Roosterize: Download Model"
            }
        ],
        "configuration": [
            {
                "title": "Roosterize",
                "properties": {
                    "roosterize.binPath": {
                        "type": "string",
                        "default": "",
                        "description": "Path to Roosterize executable.",
                        "scope": "machine-overridable"
                    }
                }
            }
        ]
    },
    "scripts": {
        "vscode:prepublish": "npm install && npm run compile",
        "compile": "tsc -p ./",
        "lint": "eslint . --ext .ts,.tsx",
        "watch": "tsc -watch -p ./"
    },
    "devDependencies": {
        "@types/node": "^17.0.25",
        "@types/vscode": "1.51.0",
        "@typescript-eslint/eslint-plugin": "^4.0.0",
        "@typescript-eslint/parser": "^3.10.1",
        "eslint": "^7.32.0",
        "typescript": "^4.6.3"
    },
    "dependencies": {
        "vscode-languageclient": "^6.1.3"
    },
    "extensionDependencies": [
        "maximedenes.vscoq"
    ]
}