diff --git a/lib/src/Makefile b/lib/src/Makefile index 7e5d49a04..275edb632 100644 --- a/lib/src/Makefile +++ b/lib/src/Makefile @@ -41,12 +41,13 @@ test: $(RUNMAKE) test demo: + gf -make -name=Demo0 demo/DemoBul.gf demo/DemoCat.gf +RTS -K48M 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=Demo5 demo/DemoRus.gf demo/DemoSpa.gf demo/DemoSwe.gf - gf -make Demo1.pgf Demo2.pgf Demo3.pgf Demo4.pgf Demo5.pgf + gf -make Demo0.pgf Demo1.pgf Demo2.pgf Demo3.pgf Demo4.pgf Demo5.pgf rm Demo?.pgf demoex: