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.
2015-03-05 15:30:41 +00:00
parent 0238579610
commit 4e4d2a77e1
1 changed files with 1 additions and 1 deletions
--- a/gf.cabal
+++ b/gf.cabal
@@ -318,7 +318,7 @@ Executable gf
  ghc-options: -threaded -fwarn-unused-imports

  if impl(ghc>=7.0)
-    ghc-options: -rtsopts
+    ghc-options: -rtsopts -with-rtsopts=-I5
    if impl(ghc<7.8)
      ghc-options: -with-rtsopts=-K64M