From 06ef66e743d2d1ae7581da42b3e79db28f64d04c Mon Sep 17 00:00:00 2001
From: James Sully <sullyj3@gmail.com>
Date: Thu, 25 Jul 2024 22:39:49 +1000
Subject: [PATCH] Release script & CI: name based on tag (WIP broken)

---
 .github/workflows/ci.yml |  6 ++++--
 create_release.sh        | 33 +++++++++++++++++++++++----------
 2 files changed, 27 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3fcb56e..19a7800 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,6 +9,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          fetch-tags: "true"
       - name: Run Lean Action
         uses: leanprover/lean-action@v1
         with:
@@ -16,10 +18,10 @@ jobs:
           use-mathlib-cache: "false"
           build: "true"
       - name: Create package
+        id: create-package
         run: |
           ./create_release.sh
       - name: Upload artifact
         uses: actions/upload-artifact@v4.3.4
         with:
-          name: sand
-          path: release.tar.zst
+          path: release/sand-*-x86_64-linux.tar.zst
diff --git a/create_release.sh b/create_release.sh
index 241ccc6..b7c41d7 100755
--- a/create_release.sh
+++ b/create_release.sh
@@ -5,17 +5,30 @@ if [ ! -f .lake/build/bin/sand ]; then
     exit 1
 fi
 
-mkdir -p release
+tag=$(git describe --tags --abbrev=0)
+dir="sand-$tag"
 
-cp -f .lake/build/bin/sand release/
-cp -rf resources release/
-cp -f scripts/install.sh release/
-cp -f LICENSE release/
-cp -f README.md release/
+set -x
 
-strip release/sand
+mkdir -p "release/$dir"
 
-tar --zstd -cvf release.tar.zst release 2>&1 > /dev/null
+cp -f .lake/build/bin/sand release/$dir/
+cp -rf resources release/$dir/
+cp -f scripts/install.sh release/$dir/
+cp -f LICENSE release/$dir/
+cp -f README.md release/$dir/
 
-echo 'release created at `release`'
-echo 'release archive created at `release.tar.zst`'
+pushd release/ > /dev/null
+
+strip $dir/sand
+
+archive="$dir-x86_64-linux.tar.zst"
+
+tar --zstd -cvf $archive $dir 2>&1 > /dev/null
+
+popd > /dev/null
+
+set +x
+
+echo "release created at release/$dir"
+echo "release archive created at release/$archive"