summaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-02-27 20:30:04 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-02-27 21:38:01 -0400
commit14a327d693dd4814e58e150b6811c42eb4fd9d5e (patch)
treefbb234a6b740d75aeb0b3a11175896101af07db3 /ghci
parent3fdcec92d848e8b2709aaab6d4964254e11ef237 (diff)
brought back fast ghci
Diffstat (limited to 'ghci')
-rwxr-xr-xghci4
1 files changed, 4 insertions, 0 deletions
diff --git a/ghci b/ghci
new file mode 100755
index 000000000..206bbbc7a
--- /dev/null
+++ b/ghci
@@ -0,0 +1,4 @@
+#!/bin/sh
+# ghci using objects built by cabal
+make dist/caballog
+$(grep 'ghc --make' dist/caballog | head -n 1 | perl -pe 's/--make/--interactive/; s/.\/[^\.\s]+.hs//; s/-package-id [^\s]+//g; s/-hide-all-packages//; s/-threaded//; s/-O//') $@