Commit 16ae3489 authored by Bernd Brassel's avatar Bernd Brassel
Browse files

no make with -e

parent a4b1f3e2
...@@ -329,7 +329,7 @@ requestExpr state opts line = do ...@@ -329,7 +329,7 @@ requestExpr state opts line = do
-- to start make before calling "-e", but it is not yet clear -- to start make before calling "-e", but it is not yet clear
-- how to avoid generating a binary. -- how to avoid generating a binary.
requestCall state opts@Opts{eval=True} = requestCall state opts@Opts{eval=True} =
ghcCall opts{make=True, ghcCall opts{make=False,
ghcOpts=ghcOpts opts++ " +RTS "++ rts state ++ " -RTS -e main ", ghcOpts=ghcOpts opts++ " +RTS "++ rts state ++ " -RTS -e main ",
filename=inKicsSubdir "Main.hs"} filename=inKicsSubdir "Main.hs"}
requestCall state _ = (inKicsSubdir "request"++" "++cmdLineArgs state++" +RTS "++rts state) requestCall state _ = (inKicsSubdir "request"++" "++cmdLineArgs state++" +RTS "++rts state)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment