diff options
Diffstat (limited to 'examples/bronzeage/Makefile')
| -rw-r--r-- | examples/bronzeage/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/examples/bronzeage/Makefile b/examples/bronzeage/Makefile index bdc3e035f..b694683d3 100644 --- a/examples/bronzeage/Makefile +++ b/examples/bronzeage/Makefile @@ -6,7 +6,9 @@ magnet: # gfc --make -src --parser=off --name=fre BronzeageFre.gf +RTS -K100M # gfc --make -src --erasing=on --name=bul BronzeageBul.gf gfc --make -src --parser=off --name=fin BronzeageFin.gf - gfc --make -src --erasing=on --name=ger BronzeageGer.gf - gfc --make -src BronzeageEng.gf BronzeageSwe.gf BronzeageIta.gf - gfc --make --name=grammar fin.pgf ger.pgf Bronzeage.pgf + gfc --make -src --erasing=on --name=eng BronzeageEng.gf + gfc --make -src --erasing=on --name=ger BronzeageGer.gf + gfc --make -src --erasing=on --name=scand BronzeageNor.gf BronzeageSwe.gf + gfc --make -src --name=rom BronzeageIta.gf BronzeageSpa.gf + gfc --make --name=bronze eng.pgf fin.pgf ger.pgf rom.pgf scand.pgf |