diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
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 |