diff options
Diffstat (limited to 'examples/bronzeage/Makefile')
| -rw-r--r-- | examples/bronzeage/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/bronzeage/Makefile b/examples/bronzeage/Makefile index ea8e5937f..3f7465720 100644 --- a/examples/bronzeage/Makefile +++ b/examples/bronzeage/Makefile @@ -3,7 +3,9 @@ all: magnet magnet: +# gfc --make -src --parser=off --name=fre BronzeageFre.gf +RTS -K100M 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 Bronzeage.pgf + gfc --make --name=grammar fin.pgf ger.pgf Bronzeage.pgf |