From a48a36ba58e3ffdd5e7c2bef536f3b95f2e9f6a2 Mon Sep 17 00:00:00 2001 From: Robert Vollmert Date: Sun, 9 Feb 2020 21:59:53 +0100 Subject: [PATCH] ghcid makefile target --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 33ca39d..a8f5dc2 100644 --- a/Makefile +++ b/Makefile @@ -1,8 +1,11 @@ -.PHONY: format test compare +.PHONY: format test compare ghcid LOCALINSTALL := $(shell stack $(STACKARGS) path | grep ^local-install-root: | awk '{print $$2}')/bin DRAW = $(LOCALINSTALL)/drawpuzzle +ghcid: + ghcid + test: stack test