package.json

{
  "name": "vsfstar",
  "description": "F* LSP client",
  "author": {
    "name": "Ramkumar Ramachandra",
    "email": "artagnon@gmail.com",
    "url": "https://artagnon.com"
  },
  "publisher": "artagnon",
  "repository": {
    "type": "git",
    "url": "https://github.com/artagnon/vsfstar"
  },
  "license": "MIT",
  "version": "0.0.7",
  "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"
        }
      }
    },
    "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"
      }
    ]
  },
  "scripts": {
    "vscode:prepublish": "npm run compile",
    "compile": "npx js-yaml syntax/fstar.tmGrammar.yaml >syntax/fstar.tmGrammar.json && tsc -b",
    "watch": "tsc -b -w",
    "postinstall": "node ./node_modules/vscode/bin/install",
    "test": "node ./node_modules/vscode/bin/test"
  },
  "dependencies": {
    "vscode-languageclient": "^6.1.3"
  },
  "devDependencies": {
    "@types/mocha": "^7.0.2",
    "@types/node": "^13.9.2",
    "tslint": "^6.1.0",
    "typescript": "^3.8.3",
    "vscode": "^1.1.36"
  }
}