diff --git a/Readme.md b/Readme.md index d6d068b..dc43a2a 100644 --- a/Readme.md +++ b/Readme.md @@ -9,7 +9,7 @@ The Integration of the static analyzer [Goblint](https://github.com/goblint/anal 1. Install [Goblint](https://github.com/goblint/analyzer#installing). 2. Download [GobPie plugin](https://nightly.link/goblint/GobPie/workflows/build/master/gobpie-plugin.zip) and unzip the archive. -3. Install the extension into VSCode with `code --install-extension gobpie-0.0.4.vsix`. +3. Install the extension into VSCode with `code --install-extension gobpie-0.0.5.vsix`. When installing goblint locally (as recommended), **make sure that GobPie can find the correct version of Goblint**. This can be done in two ways: diff --git a/pom.xml b/pom.xml index 21a804e..d6834bd 100644 --- a/pom.xml +++ b/pom.xml @@ -4,7 +4,7 @@ 4.0.0 goblint gobpie - 0.0.4-SNAPSHOT + 0.0.5-SNAPSHOT diff --git a/vscode/installGobPie.sh b/vscode/installGobPie.sh index 8a6b87a..2a4ea84 100755 --- a/vscode/installGobPie.sh +++ b/vscode/installGobPie.sh @@ -1,4 +1,4 @@ mvn clean -f "../../GobPie/pom.xml" mvn install -f "../../GobPie/pom.xml" echo y | vsce package -code --install-extension gobpie-0.0.4.vsix \ No newline at end of file +code --install-extension gobpie-0.0.5.vsix \ No newline at end of file diff --git a/vscode/install_and_test.sh b/vscode/install_and_test.sh index cf9925a..ad94907 100644 --- a/vscode/install_and_test.sh +++ b/vscode/install_and_test.sh @@ -1,5 +1,5 @@ # Load environment variables from .env export $(grep -v '^#' .env | xargs) -code --install-extension gobpie-0.0.4.vsix +code --install-extension gobpie-0.0.5.vsix code $GOBPIE_TEST_PROJECT diff --git a/vscode/package.json b/vscode/package.json index 99a8ac2..ebf3464 100644 --- a/vscode/package.json +++ b/vscode/package.json @@ -4,7 +4,7 @@ "description": "The interactive Goblint analyzer extension", "author": "Karoliine Holter", "license": "MIT", - "version": "0.0.4", + "version": "0.0.5", "repository": { "type": "git", "url": "https://github.com/goblint/GobPie.git" @@ -95,7 +95,7 @@ ] }, "scripts": { - "vscode:prepublish": "shx cp ../target/gobpie-0.0.4-SNAPSHOT.jar gobpie-0.0.4-SNAPSHOT.jar && npm run package", + "vscode:prepublish": "shx cp ../target/gobpie-0.0.5-SNAPSHOT.jar gobpie-0.0.5-SNAPSHOT.jar && npm run package", "webpack": "webpack --mode development", "webpack-dev": "webpack --mode development --watch", "package": "webpack --mode production --devtool hidden-source-map", diff --git a/vscode/src/extension.ts b/vscode/src/extension.ts index 5765e2e..7dad43a 100644 --- a/vscode/src/extension.ts +++ b/vscode/src/extension.ts @@ -32,7 +32,7 @@ export function activate(context: ExtensionContext) { const adbSocketPath = `${os.tmpdir()}/gobpie_adb_${crypto.randomBytes(6).toString('base64url')}.sock` const script = 'java'; - const args = ['-jar', context.asAbsolutePath('gobpie-0.0.4-SNAPSHOT.jar'), adbSocketPath]; + const args = ['-jar', context.asAbsolutePath('gobpie-0.0.5-SNAPSHOT.jar'), adbSocketPath]; // Use this for communicating on stdio let serverOptions: ServerOptions = {