diff options
| author | bjorn <bjorn@bringert.net> | 2008-11-04 13:57:27 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-11-04 13:57:27 +0000 |
| commit | 13042d7dac3fdea8d3cb637782e51cf41e4d676e (patch) | |
| tree | 4c6b56605c048665dc4d842d402607251dff1aaa /src | |
| parent | 84aebb8ab85b0599fb2455ed0141fb559387b71a (diff) | |
Forgotten record in src/server/Makefile.
Diffstat (limited to 'src')
| -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 |