Add config and convenient script for GHCi.

Signed-off-by: Magnus Therning <magnus@therning.org>
magthe · Mar 2, 2013 · c884fed · c884fed
1 parent f7fa8e2
commit c884fed
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.ghci b/.ghci
@@ -0,0 +1 @@
+:set -isrc:test-src:bench-src
diff --git a/ghci.sh b/ghci.sh
@@ -0,0 +1,3 @@
+#! /bin/zsh
+
+ghci dist/build/csrc/*.o