diff options
| author | aarne <aarne@chalmers.se> | 2014-12-03 13:18:48 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-12-03 13:18:48 +0000 |
| commit | 7316caf0922805f309253b159ba78692c3ef452c (patch) | |
| tree | 7ea95e634b2dc7050e974d9f21ef8ad29f3ada5c /examples | |
| parent | 15a47610be12e3ef8c0279447cb24195cd47d449 (diff) | |
app Makefile default now App12 with Cat
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/app/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index 45c34961a..2189c08f9 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -1,4 +1,4 @@ -all: Phrasebook App11.pgf +all: Phrasebook App12.pgf PROBSFILE=./app.probs GFODIR=./gfos @@ -22,9 +22,9 @@ App12.pgf: $(APP12) # Without dependencies: App11: - $(GFMKT) -name=App11 $(APP11) +RTS -K200M + $(GFMKT) -name=App12 $(APP11) +RTS -K200M App12: - $(GFMKT) -name=App11 $(APP12) +RTS -K200M + $(GFMKT) -name=App12 $(APP12) +RTS -K200M # App grammars for individual languages AppEng.pgf:: ; $(GFMKT) -name=AppEng AppEng.gf |