From 21f64aa08cf1257d1ef2a1d57e7d449ac1398e33 Mon Sep 17 00:00:00 2001
From: Francesco Gazzetta <fgaz@fgaz.me>
Date: Mon, 12 Dec 2022 17:44:33 +0100
Subject: [PATCH] Add dist script

---
 dist.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 dist.sh

diff --git a/dist.sh b/dist.sh
new file mode 100755
index 0000000..cb25f87
--- /dev/null
+++ b/dist.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+[ ! -e dist.tar.gz ] || (echo error: dist.tar.gz already exists, not overwriting; false)
+builddir=$(cabal list-bin --ghcjs pointfree-ghcjs).jsexe
+tar -czvf dist.tar.gz -C "$builddir" .
-- 
2.45.2