Add a default `.ghci' file

This options file for ghci preseeds the correct include paths, so that
interactive sessions don't need to always pass these args.

Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>

diff --git a/.ghci b/.ghci
new file mode 100644 (file)
index 0000000..8084f7e
--- /dev/null
+++ b/.ghci
@@ -0,0 +1 @@
+:set -ihtools -ihtest

diff --git a/Makefile.am b/Makefile.am
index ba36d2b..d477a44 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -759,7 +759,8 @@ EXTRA_DIST = \
        $(HS_PROG_SRCS) \
        htools/lint-hints.hs \
        htest/cli-tests-defs.sh \
-       htest/offline-test.sh
+       htest/offline-test.sh \
+       .ghci
 
 man_MANS = \
        man/ganeti-cleaner.8 \