mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
memory on demo/Compile
This commit is contained in:
@@ -38,7 +38,7 @@ main = do
|
|||||||
compileOne modu = do
|
compileOne modu = do
|
||||||
let comm = "gf -make -s -optimize-pgf -name=" ++
|
let comm = "gf -make -s -optimize-pgf -name=" ++
|
||||||
modu ++ " " ++ modu ++ ".gf" ++
|
modu ++ " " ++ modu ++ ".gf" ++
|
||||||
" +RTS -K32M"
|
" +RTS -K320M"
|
||||||
putStrLn comm
|
putStrLn comm
|
||||||
system comm
|
system comm
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user