diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-20 12:56:08 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-20 12:56:08 +0000 |
| commit | 9b8f50534c6497ee54c7eb90bf022010fc803dca (patch) | |
| tree | c78f039c405d06e2cc512c9d8e46ba5430389fff /src/server/Makefile | |
| parent | cec2b61af0a9dc392df20dbb601bb33858aac502 (diff) | |
Update gf-server instructions and configuration.
Diffstat (limited to 'src/server/Makefile')
| -rw-r--r-- | src/server/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
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 $^ |