package.json

{
  "name": "vsfstar",
  "description": "F* LSP client",
  "author": {
    "name": "Andrii Kurdiumov",
    "email": "kant2002@gmail.com",
    "url": "https://codevision.medium.com"
  },
  "publisher": "kant2002",
  "repository": {
    "type": "git",
    "url": "https://github.com/kant2002/vsfstar"
  },
  "license": "MIT",
  "version": "0.0.9",
  "engines": {
    "vscode": "^1.41.0"
  },
  "icon": "assets/vsfstar.png",
  "categories": [
    "Programming Languages",
    "Linters",
    "Snippets"
  ],
  "keywords": [
    "FStar",
    "IDE",
    "Language Server Protocol"
  ],
  "activationEvents": [
    "onLanguage:fstar",
    "onLanguage:fsharp",
    "onCommand:vsfstar.activate"
  ],
  "main": "out/extension",
  "contributes": {
    "configuration": {
      "type": "object",
      "title": "F* configuration",
      "properties": {
        "vsfstar.path": {
          "type": "string",
          "default": "fstar.exe",
          "description": "The path to F* executable"
        },
        "vsfstar.includeDir": {
          "type": "string",
          "default": "",
          "description": "Include all directories which match to glob pattern"
        }
      }
    },
    "languages": [
      {
        "id": "fstar",
        "extensions": [
          ".fs7",
          ".fst",
          ".fsti"
        ],
        "configuration": "fstar.configuration.json"
      }
    ],
    "grammars": [
      {
        "language": "fstar",
        "scopeName": "source.fstar",
        "path": "./syntax/fstar.tmGrammar.json"
      }
    ],
    "commands": [
      {
        "command": "vsfstar.activate",
        "title": "Manually activate F* extension"
      },
      {
        "command": "vsfstar.restartLanguageClient",
        "title": "F*: Restart language server"
      }
    ]
  },
  "scripts": {
    "vscode:prepublish": "npm run compile",
    "compile": "npx js-yaml syntax/fstar.tmGrammar.yaml >syntax/fstar.tmGrammar.json && tsc -b",
    "watch": "tsc -b -w"
  },
  "dependencies": {
    "glob": "^7.1.6",
    "vscode-languageclient": "^7.0.0"
  },
  "devDependencies": {
    "@types/glob": "^7.1.3",
    "@types/mocha": "^7.0.2",
    "@types/node": "^13.9.2",
    "@types/vscode": "^1.66.0",
    "plist2": "^1.1.3",
    "tslint": "^6.1.3",
    "typescript": "^3.8.3"
  }
}