diff --git a/src/server/Makefile b/src/server/Makefile new file mode 100644 index 000000000..247fee1e0 --- /dev/null +++ b/src/server/Makefile @@ -0,0 +1,13 @@ +.PHONY: gf.fcgi food demo + +gf.fcgi: + cabal configure + cabal build + cp dist/build/gf.fcgi/gf.fcgi . + +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