diff options
| author | hallgren <hallgren@chalmers.se> | 2014-04-22 12:43:24 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-04-22 12:43:24 +0000 |
| commit | a2c25e88d425fd6d0779fb8b1ccf93379d6fe536 (patch) | |
| tree | c71f7ff804ec932544db4b5b902aaf17805607a7 /src/runtime/c/pgf | |
| parent | 5847f8e18fe63ae43e843f8db1a3ee4cb649d76a (diff) | |
gf.cabal: add GF builtin default -K64M. Enable parallel compile with ghc>=7.8
+ Programs compiled with ghc<7.8 have a default built-in 8M stack size limit.
With ghc>7.0 this built-in default can be changed, so it is now 64M, allowing
GF to work with larger grammars without manually increasing the stack size.
(But if GF is compiled with ghc 6.12, the built-in default is still 8M.)
+ Enable ghc>=7.8 support for compiling modules in parallel, to speed up the
compilation of GF.
Diffstat (limited to 'src/runtime/c/pgf')
0 files changed, 0 insertions, 0 deletions