forked from leanprover-community/lean4web
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.json
71 lines (71 loc) · 2.33 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
{
"name": "leanweb",
"private": true,
"version": "0.0.0",
"type": "module",
"bin": {
"server": "server/index.mjs"
},
"files": [
"client/dist",
"server"
],
"scripts": {
"start": "concurrently -n server,client -c blue,green \"npm run start:server\" \"npm run start:client\"",
"start:server": "cd server && NODE_ENV=development nodemon ./index.mjs",
"start:client": "NODE_ENV=development vite --host",
"build": "npm run build:server && npm run build:client",
"build:server": "server/build.sh",
"build:client": "tsc -b && NODE_ENV=production vite build",
"production": "NODE_ENV=production node server/index.mjs",
"dev": "vite",
"lint": "eslint . --ext ts,tsx --report-unused-disable-directives --max-warnings 0",
"preview": "vite preview",
"test:bare": "wait-on --resources \"http://localhost:8080\" \"http://localhost:3000\" && cypress run",
"test": "concurrently -k -s first -n server,client,cypress -c blue,green,cyan \"npm run start:server\" \"npm run start:client\" \"npm run test:bare\""
},
"dependencies": {
"@emotion/react": "^11.14.0",
"@emotion/styled": "^11.14.0",
"@fortawesome/free-solid-svg-icons": "^6.7.2",
"@fortawesome/react-fontawesome": "^0.2.2",
"@mui/material": "^6.4.6",
"@types/file-saver": "^2.0.7",
"@types/lz-string": "^1.5.0",
"@uiw/react-codemirror": "^4.23.10",
"concurrently": "^9.1.2",
"eslint": "^9.21.0",
"express": "^4.21.2",
"file-saver": "^2.0.5",
"ip-anonymize": "^0.1.0",
"lean4monaco": "^1.0.42",
"lz-string": "^1.5.0",
"memfs": "^4.11.1",
"nocache": "^4.0.0",
"nodemon": "^3.1.9",
"react": "^19.0.0",
"react-dom": "^19.0.0",
"react-split": "^2.0.14",
"vscode-ws-jsonrpc": "^3.4.0",
"ws": "^8.18.1"
},
"devDependencies": {
"@codingame/esbuild-import-meta-url-plugin": "^1.0.3",
"@types/node": "^22.13.9",
"@types/react": "^19.0.10",
"@types/react-dom": "^19.0.4",
"@vitejs/plugin-react-swc": "^3.8.0",
"cypress": "^13.17.0",
"cypress-iframe": "^1.0.1",
"cypress-real-events": "^1.14.0",
"typescript": "^5.8.2",
"vite": "^6.2.0",
"vite-plugin-node-polyfills": "0.23.0",
"vite-plugin-static-copy": "^2.3.0",
"vite-plugin-svgr": "^4.3.0",
"wait-on": "^8.0.2"
},
"engines" : {
"node" : ">=22.0.0 <23.0.0"
}
}