summaryrefslogtreecommitdiff
path: root/build
diff options
context:
space:
mode:
authorquidtum <quidtum>2022-02-22 20:34:33 -0500
committerquidtum <quidtum>2022-02-22 20:34:33 -0500
commitc6a9d952000fe1533bea9996bd04a9494a73ccb4 (patch)
tree3d932c630e138e43ea63d09d01baa9c2e0d7de38 /build
parent33fca9b05ba0c92da4fd3e21e5d02eead73929c5 (diff)
build
Diffstat (limited to 'build')
-rwxr-xr-xbuild3
1 files changed, 3 insertions, 0 deletions
diff --git a/build b/build
new file mode 100755
index 0000000..762dd9f
--- /dev/null
+++ b/build
@@ -0,0 +1,3 @@
+set -euo pipefail
+stack install
+cp ~/.local/bin/dbreset-exe ~/.local/bin/spectralrenga-exe dist/