diff options
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 |