summaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-03-16 14:01:29 +0000
committerhallgren <hallgren@chalmers.se>2012-03-16 14:01:29 +0000
commit13ecc8bdc328bcb680a82f3d4c152e1a845654fd (patch)
tree21793261d6e250d8b478082f436aa529f972945b /.ghci
parent7c484aeada7fc56f9c192931d7d41bef78546211 (diff)
Adding a .ghci file to make it easier to load GF in ghci.
Diffstat (limited to '.ghci')
-rw-r--r--.ghci2
1 files changed, 2 insertions, 0 deletions
diff --git a/.ghci b/.ghci
new file mode 100644
index 000000000..7f054b48e
--- /dev/null
+++ b/.ghci
@@ -0,0 +1,2 @@
+:set -isrc/compiler -isrc/runtime/haskell -isrc/server -isrc/example-based -isrc/server/transfer -idist/build/autogen -idist/build/gf/gf-tmp
+:set -optP-DSERVER_MODE -optP-DUSE_INTERRUPT -optP-DCC_LAZY -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build/gf/gf-tmp -hidir dist/build/gf/gf-tmp -stubdir dist/build/gf/gf-tmp