Create a bat file for publishing

erg-lang · Aug 16, 2022 · 5da6b90 · 5da6b90
1 parent 8028ed8
commit 5da6b90
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/cargo_publish.bat b/cargo_publish.bat
@@ -0,0 +1,19 @@
+@echo off
+
+if %~dp0 == %homepath%\sbym8\GitHub\erg\ (
+    cd compiler/erg_common
+    echo publish erg_common ...
+    cargo publish
+    timeout 5
+    cd ../erg_parser
+    echo publish erg_parser ...
+    cargo publish
+    timeout 5
+    cd ../erg_compiler
+    echo publish erg_compiler ...
+    cargo publish
+    cd ../../
+    echo completed
+) else (
+    echo Use this command in the project root
+)
diff --git a/cargo_publish.sh b/cargo_publish.sh