From 128efd96c2ed50f8a5af4efaa84eca7b2c1b62f2 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 10 Dec 2017 17:50:40 -0800 Subject: [PATCH] tools: make ghcid-shake --- Makefile | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/Makefile b/Makefile index 22f84cb77..3d6aa82ef 100644 --- a/Makefile +++ b/Makefile @@ -881,6 +881,18 @@ ghcid-web: $(call def-help,ghcid-web, start ghcid autobuilder on hledger-lib + h ghcid-api: $(call def-help,ghcid-api, start ghcid autobuilder on hledger-lib + hledger + hledger-api) ghcid -c 'make ghci-api' +ghcid-shake: $(call def-help,ghcid-shake, start ghcid autobuilder on Shake.hs) + stack exec \ + --package base-prelude \ + --package directory \ + --package extra \ + --package pandoc \ + --package safe \ + --package shake \ + --package time \ + -- ghcid Shake.hs +# same packages as in Shake.hs + samplejournals: $(call def-help,samplejournals, regenerate standard sample journals in examples/) \ examples/sample.journal \ examples/100x100x10.journal \