diff options
Diffstat (limited to 'examples/app/Makefile')
| -rw-r--r-- | examples/app/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index feedab8c9..4af304a9e 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -1,4 +1,4 @@ -all: App15.pgf +all: App16.pgf PROBSFILE=./app.probs GFODIR=./gfos @@ -57,6 +57,7 @@ AppHin.pgf:: ; $(GFMKT) -name=AppHin AppHin.gf AppFre.pgf:: ; $(GFMKT) -name=AppFre AppFre.gf +RTS -K64M AppIta.pgf:: ; $(GFMKT) -name=AppIta AppIta.gf +RTS -K64M AppJpn.pgf:: ; $(GFMKT) -name=AppJpn AppJpn.gf +RTS -K64M +AppRus.pgf:: ; $(GFMKT) -name=AppRus AppRus.gf +RTS -K64M AppSpa.pgf:: ; $(GFMKT) -name=AppSpa AppSpa.gf +RTS -K64M AppSwe.pgf:: ; $(GFMKT) -name=AppSwe AppSwe.gf AppTha.pgf:: ; $(GFMKT) -name=AppTha AppTha.gf |