From 7c204e1dfdf1c618aa42332df9143f0a19a9d4a4 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Tue, 4 Mar 2014 11:02:47 -0800 Subject: [PATCH] tools: define GHCI version --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index d0bbace42..4792c2a39 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,7 @@ VIEWPDF=$(BROWSE) PRINT=lpr GHC=ghc +GHCI=ghci HADDOCK=haddock # used for make auto, http://joyful.com/repos/searchpath SP=sp @@ -514,10 +515,10 @@ viewcoverage: # get a debug prompt ghci: - ghci $(INCLUDEPATHS) $(MAIN) + $(GHCI) $(INCLUDEPATHS) $(MAIN) ghciweb: - ghci $(BUILDFLAGS) $(WEBLANGEXTS) hledger-web/app/main.hs + $(GHCI) $(BUILDFLAGS) $(WEBLANGEXTS) hledger-web/app/main.hs # generate standard sample journals samplejournals: data/sample.journal data/100x100x10.journal data/1000x1000x10.journal data/1000x10000x10.journal data/10000x1000x10.journal data/10000x10000x10.journal data/100000x1000x10.journal