diff --git a/lib/src/Makefile b/lib/src/Makefile index 275edb632..7f637075a 100644 --- a/lib/src/Makefile +++ b/lib/src/Makefile @@ -45,9 +45,9 @@ demo: gf -make -name=Demo1 demo/DemoDan.gf demo/DemoDut.gf demo/DemoEng.gf gf -make -name=Demo2 demo/DemoFin.gf +RTS -K48M gf -make -name=Demo3 demo/DemoFre.gf demo/DemoGer.gf demo/DemoIta.gf demo/DemoNor.gf demo/DemoPol.gf +RTS -K48M - gf -make -name=Demo4 -parser=off demo/DemoRon.gf +RTS -K48M +# gf -make -name=Demo4 -parser=off demo/DemoRon.gf +RTS -K48M gf -make -name=Demo5 demo/DemoRus.gf demo/DemoSpa.gf demo/DemoSwe.gf - gf -make Demo0.pgf Demo1.pgf Demo2.pgf Demo3.pgf Demo4.pgf Demo5.pgf + gf -make Demo0.pgf Demo1.pgf Demo2.pgf Demo3.pgf Demo5.pgf rm Demo?.pgf demoex: