From 6d20e6e69481ce97ef1bf2db2d74d4e5af8827af Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <t-wnawrocki@microsoft.com>
Date: Tue, 29 Jun 2021 12:31:37 -0700
Subject: [PATCH] chore: release script

---
 vscode-lean4/release.sh => release.sh | 12 ++++++++++--
 vscode-lean4/package.json             |  2 +-
 2 files changed, 11 insertions(+), 3 deletions(-)
 rename vscode-lean4/release.sh => release.sh (85%)

diff --git a/vscode-lean4/release.sh b/release.sh
similarity index 85%
rename from vscode-lean4/release.sh
rename to release.sh
index 41d62fb3d..eee260684 100755
--- a/vscode-lean4/release.sh
+++ b/release.sh
@@ -10,9 +10,15 @@ if [ -z "$OVSX_PAT" ]; then
 fi
 
 set -ex
+
+npm install
+npx lerna bootstrap
+npm run build
+
+cd vscode-lean4/
+
 new_version="$1"
 sed -i 's/"version": ".*"/"version": "'$new_version'"/' package.json
-npm i
 git commit -am "Release $new_version"
 git tag -a v$new_version -m "vscode-lean4 $new_version"
 
@@ -23,5 +29,7 @@ npx ovsx publish
 git push
 git push --tags
 
-npx vsce package
+npm run package
 hub release create -m "vscode-lean4 $new_version" v$new_version -a lean4-$new_version.vsix
+
+cd ../
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index 5c3b971da..b528a7332 100644
--- a/vscode-lean4/package.json
+++ b/vscode-lean4/package.json
@@ -357,7 +357,7 @@
 	"main": "./out/extension",
 	"scripts": {
 		"vscode:prepublish": "webpack --env production",
-		"build": "webpack --env development",
+		"build": "webpack --env production",
 		"watch": "webpack --env development --watch",
 		"lint": "eslint -c ./.eslintrc.js ./src/**/*.ts",
 		"package": "vsce package"