summaryrefslogtreecommitdiff
path: root/src/server/Makefile
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-08-15 20:33:04 +0000
committerbjorn <bjorn@bringert.net>2008-08-15 20:33:04 +0000
commit22c434a39b943ea5f8bde9a6dd998c8d32720783 (patch)
tree3e900ed7fbca70a851eaa01c6d8123e023d3cd4e /src/server/Makefile
parent5bdfedcedf5886fefb8b73e199d2797b3cd029d0 (diff)
Added Makefile for fastcgi server.
Diffstat (limited to 'src/server/Makefile')
-rw-r--r--src/server/Makefile13
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