workaround for ghci fragility in reusing objects compiled with ghc

1 files changed, 5 insertions, 0 deletions

diff --git a/ghci b/ghci
new file mode 100755
index 000000000..57361281c
--- /dev/null
+++ b/ghci
@@ -0,0 +1,5 @@
+#!/bin/sh
+# This runs ghci with the same flags used when compiling with ghc.
+# Certian flags need to be the same in order for ghci to reuse compiled
+# objects.
+ghci $(make getflags) $@