diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
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 @@ | |||
1 | install_root := $(shell stack path --local-install-root) | ||
2 | |||
3 | progname = shelves | ||
4 | |||
5 | exe = $(install_root)/bin/$(progname) | ||
6 | |||
7 | .PHONY: $(exe) default | ||
8 | |||
9 | $(progname): $(exe) | ||
10 | ln -sf $^ $@ | ||
11 | |||
12 | $(exe): | ||
13 | stack build | ||
14 | |||