Chenpeng's fixes in NumeralChi

This commit is contained in:
aarne
2012-11-16 13:15:03 +00:00
parent ba57ad3367
commit ba1ad29b57
2 changed files with 7 additions and 6 deletions

View File

@@ -241,6 +241,7 @@ unlexer abstr ls =
run_gfc :: [String] -> IO ()
run_gfc args =
do let args' = ["-batch"] ++ filter (not . null) args ++ ["+RTS"] ++ rts_flags ++ ["-RTS"]
----do let args' = ["-batch","-new-comp"] ++ 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'