diff options
Diffstat (limited to 'next-lib/src/Make.hs')
| -rw-r--r-- | next-lib/src/Make.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/next-lib/src/Make.hs b/next-lib/src/Make.hs index 63f50afc2..e3af0110e 100644 --- a/next-lib/src/Make.hs +++ b/next-lib/src/Make.hs @@ -198,7 +198,8 @@ unlexer abstr ls = -- | Runs the gf executable in compile mode with the given arguments. run_gfc :: [String] -> IO () run_gfc args = - do let args' = ["-batch","-gf-lib-path=."] ++ filter (not . null) args ++ ["+RTS"] ++ rts_flags ++ ["-RTS"] + do let args' = ["-batch"] ++ filter (not . null) args ++ ["+RTS"] ++ rts_flags ++ ["-RTS"] +--- do let args' = ["-batch","-gf-lib-path=."] ++ filter (not . null) args ++ ["+RTS"] ++ rts_flags ++ ["-RTS"] --- why path? AR putStrLn $ "Running: " ++ default_gf ++ " " ++ unwords (map showArg args') e <- rawSystem default_gf args' case e of |