chore: release script

leanprover · Jun 29, 2021 · 6d20e6e · 6d20e6e
1 parent c3a17e4
commit 6d20e6e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/vscode-lean4/release.sh → release.sh b/vscode-lean4/release.sh → 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
@@ -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"