diff options
author | Joey Hess <joey@kitenet.net> | 2012-10-17 23:04:43 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-10-20 16:20:42 -0400 |
commit | 590fd490750e84c62d8669cb2db6885e26cc17cd (patch) | |
tree | bb01e72ad1059c05b0848bc3c5b44623302cf809 | |
parent | 3165e815046787d47c283a32c7f87f504aceda9f (diff) |
workaround for ghci fragility in reusing objects compiled with ghc
-rw-r--r-- | .ghci | 3 | ||||
-rw-r--r-- | Makefile | 4 | ||||
-rwxr-xr-x | ghci | 5 |
3 files changed, 9 insertions, 3 deletions
@@ -1,4 +1 @@ --- make ghci use precompiled modules, and C library -:set -outputdir=tmp -:set -IUtility :load Common @@ -221,4 +221,8 @@ osxapp: rm -f tmp/git-annex.dmg.bz2 bzip2 tmp/git-annex.dmg +# used by ./ghci +getflags: + @echo $(ALLFLAGS) + .PHONY: $(bins) test install @@ -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) $@ |