diff options
| author | Andrew Cady <d@jerkface.net> | 2019-03-13 00:23:38 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2019-03-13 00:23:38 -0400 |
| commit | e7675bcff75027a0d19f272e24589374df64410f (patch) | |
| tree | 2b09faed165fb2b5ba4c1674847eb7a31e8701fc | |
| parent | 46bf67f44c4d7b40a50236614ea71c77d1fb38ad (diff) | |
add 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 | |||