diff options
| author | aarne <aarne@chalmers.se> | 2016-06-04 17:07:35 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2016-06-04 17:07:35 +0000 |
| commit | e682f0972d4e6ca4c2b7ba52125512565ed2020b (patch) | |
| tree | 6676b50e3ec9daf8d28e75d4f153d26d677eacc5 /examples/app/Makefile | |
| parent | 4fea4ace7bd6e92af78a7a9db778b61a9501e194 (diff) | |
made App into a functor to make its body easier to modify; unfortunately, the import list must be copied however
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 |