package.json

{
  "name": "slate",
  "version": "0.1.26",
  "description": "Slate Proof Assistant",
  "license": "MIT",
  "author": "Sebastian Reichelt",
  "repository": {
    "type": "git",
    "url": "https://github.com/SReichelt/slate.git"
  },
  "homepage": "https://slate-prover.org/",
  "private": "true",
  "workspaces": [
    "src/shared",
    "src/envs/node",
    "src/envs/web",
    "src/envs/web/api",
    "src/scripts",
    "src/server/generic",
    "src/server/generic/static",
    "src/server/express",
    "src/server/netlify/functions",
    "src/client",
    "src/vscode"
  ],
  "scripts": {
    "clean": "rimraf build dist src/vscode/webview && npm run clean-vscode",
    "lint": "eslint --no-eslintrc -c .eslintrc.json 'src/!(vscode)/**/*.@(ts|tsx)'",
    "depcruise": "depcruise -c .dependency-cruiser.js src",
    "test": "jest --silent && src/scripts/checkLibrary.sh",
    "test-accept": "src/scripts/tidyLibrary.sh && jest --silent --updateSnapshot src/shared && src/scripts/checkLibrary.sh",
    "test-all": "npm run lint && npm run lint-vscode && npm run depcruise && npm run test && npm run check-links",
    "check-links": "src/scripts/checkLibraryLinks.sh",
    "codegen": "src/scripts/generateAllMetaDeclarations.sh",
    "build-static": "npm run build-functions && npm run build-static-scripts && npm run fill-public",
    "build-server": "cd src/server/express && npm run build",
    "start-server": "cd src/server/express && npm run start",
    "dev-server": "cd src/server/express && npm run dev",
    "build-functions": "cd src/server/netlify/functions && npm run build",
    "build-static-scripts": "cd src/server/generic/static && npm run build",
    "build-client": "cd src/client && npm run build",
    "dev-client": "cd src/client && npm run dev",
    "fill-public": "copyfiles -E data/*/*.slate docs/* docs/**/* dist/public",
    "clean-vscode": "cd src/vscode && npm run clean",
    "lint-vscode": "cd src/vscode && npm run lint",
    "build-vscode": "cd src/vscode && npm run build",
    "package-vscode": "copyfiles -E -u 2 dist/public/* dist/public/js/* dist/public/fonts/**/* src/vscode/webview && cd src/vscode && npm run package && copyfiles -E *.vsix ../../dist/public/download",
    "build": "npm run clean && concurrently --prefix \"[{name}]\" --names \"SERVER,CLIENT,STATIC,VSCODE\" -c \"bgBlue.bold,bgGreen.bold,bgYellow.bold,bgRed.bold\" \"npm run build-server\" \"npm run build-client\" \"npm run build-static\" \"npm run build-vscode\" && npm run package-vscode",
    "start": "npm run start-server",
    "dev": "concurrently --prefix \"[{name}]\" --names \"SERVER,CLIENT\" -c \"bgBlue.bold,bgGreen.bold\" \"npm run dev-server\" \"npm run dev-client\"",
    "clean-workspace-node-modules": "find src -name 'node_modules' -exec rimraf '{}' \\;",
    "update-dependencies": "find . -name 'package.json' -not -path '*/node_modules/*' -execdir npm-check-updates -u \\;",
    "update-dependencies-minor": "find . -name 'package.json' -not -path '*/node_modules/*' -execdir npm-check-updates -t minor -u \\;"
  },
  "engines": {
    "node": "^18.0.0"
  },
  "dependencies": {
    "tslib": "^2.4.0"
  },
  "devDependencies": {
    "@types/jest": "^29.2.0",
    "@typescript-eslint/eslint-plugin": "^5.41.0",
    "@typescript-eslint/parser": "^5.41.0",
    "concurrently": "^7.5.0",
    "copyfiles": "^2.4.1",
    "dependency-cruiser": "^11.18.0",
    "esbuild": "^0.15.12",
    "eslint": "^8.26.0",
    "eslint-plugin-react": "^7.31.10",
    "jest": "^29.2.2",
    "rimraf": "^3.0.2",
    "ts-jest": "^29.0.3",
    "typescript": "^4.8.4"
  }
}