From 28eaf16f8ee1bcda3404c1e9461b13e6cc9c3ca7 Mon Sep 17 00:00:00 2001 From: cyfraeviolae Date: Tue, 22 Feb 2022 21:53:46 -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..d7afb83 --- /dev/null +++ b/build @@ -0,0 +1,3 @@ +set -euo pipefail +stack install +cp ~/.local/bin/sumcheck-exe dist/ -- cgit v1.2.3