From c6a9d952000fe1533bea9996bd04a9494a73ccb4 Mon Sep 17 00:00:00 2001 From: quidtum Date: Tue, 22 Feb 2022 20:34:33 -0500 Subject: build --- build | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 build (limited to 'build') 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/ -- cgit v1.2.3