From 9b8f50534c6497ee54c7eb90bf022010fc803dca Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Mon, 20 Oct 2008 12:56:08 +0000
Subject: Update gf-server instructions and configuration.

---
 src/server/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/server/Makefile')

diff --git a/src/server/Makefile b/src/server/Makefile
index fe37ee114..76f1d1ab8 100644
--- a/src/server/Makefile
+++ b/src/server/Makefile
@@ -3,15 +3,14 @@ GFCFLAGS = +RTS -K100M -RTS --cpu
 .PHONY: pgf.fcgi run
 
 pgf.fcgi: 
-	cabal configure
-	cabal build
+	cabal install
 	cp dist/build/pgf.fcgi/pgf.fcgi .
 
 gwt:
 	gwt-client/Translate-compile
 
 food.pgf:
-	gfc --make --name=grammar ../../examples/tutorial/food/Food{Eng,Ita}.gf
+	gfc --make --name=food ../../examples/tutorial/food/Food{Eng,Ita}.gf
 
 Demo%-parse.pgf: ../../lib/resource/demo/Demo%.gf
 	gfc $(GFCFLAGS) --make --erasing=on --name=Demo$*-parse $^
-- 
cgit v1.2.3