From e2f5add01140f96f3a257425de486dc55adf6c05 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 15 Aug 2008 20:33:04 +0000
Subject: [PATCH] Added Makefile for fastcgi server.

---
 src/server/Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/server/Makefile

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