summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile14
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..678b2f2
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,14 @@
1install_root := $(shell stack path --local-install-root)
2
3progname = shelves
4
5exe = $(install_root)/bin/$(progname)
6
7.PHONY: $(exe) default
8
9$(progname): $(exe)
10 ln -sf $^ $@
11
12$(exe):
13 stack build
14