diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-15 20:33:04 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-15 20:33:04 +0000 |
| commit | 22c434a39b943ea5f8bde9a6dd998c8d32720783 (patch) | |
| tree | 3e900ed7fbca70a851eaa01c6d8123e023d3cd4e | |
| parent | 5bdfedcedf5886fefb8b73e199d2797b3cd029d0 (diff) | |
Added Makefile for fastcgi server.
| -rw-r--r-- | src/server/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
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 |