Document and move utility build script

TroupeLang · Dec 8, 2023 · 41f60fa · 41f60fa
1 parent 3ac0d77
commit 41f60fa
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -143,7 +143,8 @@ infrastructure or key generation (which otherwise takes a few seconds).
 
 ### Building and naming the snapshot
 
-Script `build.sh` runs `make` and copies the executables to `../bin/<current git HEAD hash>`.
+Script `dev-utils/build.sh` runs `make` and copies the executables to `../bin/<current git HEAD hash>`.
+This is useful when wanting to compile some snapshots to compare how different versions behave.
 
 ## Networking
 

diff --git a/compiler/build.sh b/compiler/build.sh
diff --git a/dev-utils/build-snapshot.sh b/dev-utils/build-snapshot.sh
@@ -0,0 +1,8 @@
+# Builds and copies the executables to bin/<current git HEAD hash>
+# This is useful when wanting to compile some snapshots to compare how different versions behave.
+make
+echo ""
+dir="bin/$(git describe --long --dirty --always)"
+mkdir -p $dir
+cp bin/* $dir 2>/dev/null
+echo "Copied executables to $dir"