From e7675bcff75027a0d19f272e24589374df64410f Mon Sep 17 00:00:00 2001 From: Andrew Cady Date: Wed, 13 Mar 2019 00:23:38 -0400 Subject: add Makefile --- Makefile | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..678b2f2 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +install_root := $(shell stack path --local-install-root) + +progname = shelves + +exe = $(install_root)/bin/$(progname) + +.PHONY: $(exe) default + +$(progname): $(exe) + ln -sf $^ $@ + +$(exe): + stack build + -- cgit v1.2.3