diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/Makefile | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/src/server/Makefile b/src/server/Makefile index 247fee1e0..8e0b12a99 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -1,3 +1,5 @@ +GFCFLAGS = +RTS -K100M -RTS + .PHONY: gf.fcgi food demo gf.fcgi: @@ -9,5 +11,20 @@ food: gfc --make --name=grammar ../../examples/tutorial/food/Food{Eng,Ita}.gf demo: -# gfc +RTS -K100M -RTS --make --name=grammar ../../lib/resource/demo/Demo{Bul,Cat,Dan,Eng,Fin,Fre,Ger,Ita,Nor,Rus,Spa,Swe}.gf - gfc +RTS -K100M -RTS --make --name=grammar ../../lib/resource/demo/Demo{Eng,Swe}.gf +# gfc $(GFCFLAGS) --make --name=grammar ../../lib/resource/demo/Demo{Bul,Cat,Dan,Eng,Fin,Fre,Ger,Ita,Nor,Rus,Spa,Swe}.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoBul ../../lib/resource/demo/DemoBul.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoCat ../../lib/resource/demo/DemoCat.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoDan ../../lib/resource/demo/DemoDan.gf + gfc $(GFCFLAGS) --make --parser=on --name=DemoEng ../../lib/resource/demo/DemoEng.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoFin ../../lib/resource/demo/DemoFin.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoFre ../../lib/resource/demo/DemoFre.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoGer ../../lib/resource/demo/DemoGer.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoIta ../../lib/resource/demo/DemoIta.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoNor ../../lib/resource/demo/DemoNor.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoRus ../../lib/resource/demo/DemoRus.gf + gfc $(GFCFLAGS) --make --parser=off --name=DemoSpa ../../lib/resource/demo/DemoSpa.gf + gfc $(GFCFLAGS) --make --parser=on --name=DemoSwe ../../lib/resource/demo/DemoSwe.gf + gfc $(GFCFLAGS) --name=grammar Demo???.pgf + +clean: + cabal clean |