Vscode : use latest version of vscode-languageclient and update depen…

…dant libraries (Deducteam#1055)

* Vscode : use latest version of vscode-languageclient and update dependant libraries

* pipeline : call generate vscode client.ts script from pipeline

* pipeline: use vsce tool to generate vsix extension file

* pipeline: generate and export vscode extension in pipeline

* pipeline : add publish vscode extension to pipeline workflow

.github/workflows/main.yml

@@ -34,3 +34,17 @@ jobs:
           eval $(opam env)
           #why3 config detect
           make tests
+      - name: Use Node.js
+        uses: actions/setup-node@v3
+        with:
+          node-version: latest
+      - name: generate-vscode-extension
+        run: |
+          npm install -g @types/vscode
+          npm install -g vsce 
+          make build-vscode-extension
+      - name: publish vscode extension
+        uses: actions/upload-artifact@v2
+        with: 
+          name: assets-for-download
+          path: editors/vscode/extensionFolder

Makefile

@@ -165,3 +165,8 @@ uninstall_vim_mode:
 	rm -f $(VIMDIR)/syntax/lambdapi.vim
 	rm -f $(VIMDIR)/ftdetect/dedukti.vim
 	rm -f $(VIMDIR)/ftdetect/lambdapi.vim
+
+.PHONY: build-vscode-extension
+build-vscode-extension:
+	cd editors/vscode && make && mkdir extensionFolder && vsce package -o extensionFolder
+

editors/vscode/package.json

@@ -11,7 +11,7 @@
   "version": "0.2.1",
   "publisher": "Deducteam",
   "engines": {
-    "vscode": "^1.37.0"
+    "vscode": "^1.82.0"
   },
   "categories": [
     "Programming Languages"
@@ -161,13 +161,13 @@
   },
   "devDependencies": {
     "@types/mocha": "^2.2.42",
-    "@types/node": "^10.14.15",
-    "@types/vscode": "^1.37",
-    "typescript": "^3.3.1"
+    "@types/node": "^18.18.1",
+    "@types/vscode": "^1.75.0",
+    "typescript": "^5.2.2"
   },
   "dependencies": {
-    "@vscode/vsce": "^2.20.0",
+    "@vscode/vsce": "^2.21.1",
     "fs-extra": "^9.0.1",
-    "vscode-languageclient": "5.2.1"
+    "vscode-languageclient": "^9.0.1"
   }
 }