-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.json
93 lines (93 loc) · 2.85 KB
/
package.json
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
{
"name": "langium-smt-lib",
"description": "Please enter a brief description here",
"version": "0.0.1",
"files": [
"bin",
"out",
"src"
],
"type": "module",
"scripts": {
"build": "tsc -b tsconfig.src.json && node esbuild.mjs",
"watch": "concurrently -n tsc,esbuild -c blue,yellow \"tsc -b tsconfig.src.json --watch\" \"node esbuild.mjs --watch\"",
"lint": "eslint src --ext ts",
"langium:generate": "langium generate",
"langium:watch": "langium generate --watch",
"vscode:prepublish": "npm run build && npm run lint",
"build:web": "npm run build",
"bundle": "vite build",
"bundle:serve": "http-server ./dist --port 5175",
"dev": "vite",
"dev:debug": "vite --debug --force",
"serve": "npm run dev",
"test": "vitest run"
},
"dependencies": {
"langium": "~3.1.0",
"vscode-languageclient": "~9.0.1",
"vscode-languageserver": "~9.0.1",
"chalk": "~5.3.0",
"commander": "~11.0.0",
"@codingame/monaco-vscode-editor-service-override": "~3.2.3",
"@codingame/monaco-vscode-keybindings-service-override": "~3.2.3",
"monaco-editor": "npm:@codingame/monaco-vscode-editor-api@~3.2.3",
"monaco-editor-wrapper": "~4.0.2",
"monaco-languageclient": "~8.1.1",
"vscode": "npm:@codingame/monaco-vscode-api@~3.2.3"
},
"devDependencies": {
"@types/node": "^18.0.0",
"@typescript-eslint/parser": "~7.3.1",
"@typescript-eslint/eslint-plugin": "~7.3.1",
"eslint": "~8.57.0",
"langium-cli": "~3.1.0",
"typescript": "~5.1.6",
"@types/vscode": "~1.67.0",
"concurrently": "~8.2.1",
"esbuild": "~0.20.2",
"@codingame/esbuild-import-meta-url-plugin": "~1.0.2",
"vite": "~5.2.7",
"http-server": "~14.1.1",
"vitest": "~1.4.0"
},
"volta": {
"node": "18.19.1",
"npm": "10.2.4"
},
"displayName": "langium-smt-lib",
"engines": {
"vscode": "^1.67.0",
"node": ">=18.0.0"
},
"categories": [
"Programming Languages"
],
"contributes": {
"languages": [
{
"id": "smt-lib",
"aliases": [
"SMT-LIB",
"smt-lib"
],
"extensions": [".smt2"],
"configuration": "./language-configuration.json"
}
],
"grammars": [
{
"language": "smt-lib",
"scopeName": "source.smt-lib",
"path": "syntaxes/smt-lib.tmLanguage.json"
}
]
},
"activationEvents": [
"onLanguage:smt-lib"
],
"main": "./out/extension/main.cjs",
"bin": {
"smt-lib-cli": "./bin/cli.js"
}
}