From 13042d7dac3fdea8d3cb637782e51cf41e4d676e Mon Sep 17 00:00:00 2001 From: bjorn Date: Tue, 4 Nov 2008 13:57:27 +0000 Subject: [PATCH] Forgotten record in src/server/Makefile. --- src/server/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/server/Makefile b/src/server/Makefile index 54fb3873e..547fadfba 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -6,10 +6,14 @@ pgf.fcgi: cabal install cp dist/build/pgf.fcgi/pgf.fcgi . -gwt: +gwt-translate: chmod a+x gwt/Translate-compile gwt/Translate-compile +gwt-fridge: + chmod a+x gwt/Fridge-compile + gwt/Fridge-compile + gf-gwt.jar: mkdir -p gwt/bin/se/chalmers/cs/gf/gwt/client javac -classpath "$(GWT_CLASSPATH)" -sourcepath gwt/src gwt/src/se/chalmers/cs/gf/gwt/client/*.java