diff options
| author | aarne <aarne@chalmers.se> | 2014-09-30 09:35:51 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-09-30 09:35:51 +0000 |
| commit | 7c5cb356ca6fca55eb9af50c778c3654d3ea8b5d (patch) | |
| tree | 8f83166d5609cf04fbaaed977a01795e7c714ae5 /examples/app/Makefile | |
| parent | 70455b88a724309c2ce97634ae57c1c904808c08 (diff) | |
AppChi needs more stack space now
Diffstat (limited to 'examples/app/Makefile')
| -rw-r--r-- | examples/app/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index 579d29f0a..5217d6310 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -24,7 +24,7 @@ App11: # App grammars for individual languages AppEng.pgf:: ; $(GFMKT) -name=AppEng AppEng.gf AppBul.pgf:: ; $(GFMKT) -name=AppBul AppBul.gf -AppChi.pgf:: ; $(GFMKT) -name=AppChi AppChi.gf +RTS -K64M +AppChi.pgf:: ; $(GFMKT) -name=AppChi AppChi.gf +RTS -K100M AppDut.pgf:: ; $(GFMKT) -name=AppDut AppDut.gf +RTS -K64M AppFin.pgf:: ; $(GFMKT) -name=AppFin AppFin.gf +RTS -K64M AppGer.pgf:: ; $(GFMKT) -name=AppGer AppGer.gf +RTS -K64M |