mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
gf.cabal: increase idle time before full GC to 5 seconds
The builtin GHC RTS default is 0.3 seconds, which results in very bad interactive behaviour when working with a large grammar in the GF shell.
This commit is contained in:
2
gf.cabal
2
gf.cabal
@@ -318,7 +318,7 @@ Executable gf
|
|||||||
ghc-options: -threaded -fwarn-unused-imports
|
ghc-options: -threaded -fwarn-unused-imports
|
||||||
|
|
||||||
if impl(ghc>=7.0)
|
if impl(ghc>=7.0)
|
||||||
ghc-options: -rtsopts
|
ghc-options: -rtsopts -with-rtsopts=-I5
|
||||||
if impl(ghc<7.8)
|
if impl(ghc<7.8)
|
||||||
ghc-options: -with-rtsopts=-K64M
|
ghc-options: -with-rtsopts=-K64M
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user