Skip to content
Snippets Groups Projects
Commit 70a9629d authored by SeeBasTStick's avatar SeeBasTStick
Browse files

prepared version 1.0

parent 316648e4
No related branches found
No related tags found
No related merge requests found
...@@ -11,7 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ...@@ -11,7 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t
## Requirements ## Requirements
- Latest nightly build of ProB. - Latest nightly build of ProB.
- Java v.11 or higher - Java v.8 or higher. By default java home is considerd to be accesseble by 'java' in terminal/powershell
## Extension Settings ## Extension Settings
......
...@@ -12,21 +12,27 @@ import { ...@@ -12,21 +12,27 @@ import {
LanguageClientOptions, LanguageClientOptions,
ServerOptions, ServerOptions,
} from 'vscode-languageclient'; } from 'vscode-languageclient';
import fs from "fs"
import * as path from 'path'
let client: LanguageClient; let client: LanguageClient;
export function activate(context: ExtensionContext) { export function activate(context: ExtensionContext) {
const serverHome = context.asAbsolutePath(path.join('node_modules', 'b-language-server', 'build', 'libs', 'b-language-server-all.jar'))
//const serverHome = "/home/sebastian/IdeaProjects/b-language-server/build/libs/b-language-server-all.jar"
const javaHome : string = workspace.getConfiguration("common").get("javaHome")
let serverOptions: ServerOptions = { let serverOptions: ServerOptions = {
command: '/usr/bin/java', command: javaHome,
args: [ "-jar", "./node_modules/b-language-server/build/libs/b-language-server-all.jar"] args: [ "-jar", serverHome]
}; };
let debugChannle = window.createOutputChannel("ProB language server") let debugChannle = window.createOutputChannel("ProB language server")
debugChannle.appendLine("starting server at <" + javaHome + " -jar " + serverHome + ">")
debugChannle.appendLine("fs exits " + fs.existsSync(serverHome))
// Options to control the language client // Options to control the language client
let clientOptions: LanguageClientOptions = { let clientOptions: LanguageClientOptions = {
// Register the server for B files // Register the server for B files
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment