diff options
| author | aarne <aarne@chalmers.se> | 2014-04-11 07:49:34 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-04-11 07:49:34 +0000 |
| commit | aca589d87272706f9405f4a771c52fbcf574491a (patch) | |
| tree | b0e70236f897a153056d45057ae5f2d23959b8d1 /examples/app/Makefile | |
| parent | 7c3d97e72acfbac41cd0aab33aa675474257d609 (diff) | |
experimental AppDut added
Diffstat (limited to 'examples/app/Makefile')
| -rw-r--r-- | examples/app/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index aba322034..45b7f1961 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -21,6 +21,10 @@ AppIta: AppIta.pgf AppSpa: AppSpa.pgf TRANSLATE10=AppEng.pgf AppBul.pgf AppChi.pgf AppGer.pgf AppSwe.pgf AppHin.pgf AppFin.pgf AppFre.pgf AppIta.pgf AppSpa.pgf +TRANSLATE11=$(TRANSLATE10) AppDut.pgf +# Without dependencies: +App11: + $(GFMKT) -name=App11 $(TRANSLATE11) +RTS -K200M # Without dependencies: App10: @@ -34,6 +38,7 @@ App10.pgf: $(TRANSLATE10) AppEng.pgf:: ; $(GFMKT) -name=AppEng AppEng.gf AppBul.pgf:: ; $(GFMKT) -name=AppBul AppBul.gf AppChi.pgf:: ; $(GFMKT) -name=AppChi AppChi.gf +RTS -K64M +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 AppHin.pgf:: ; $(GFMKT) -name=AppHin AppHin.gf |