Make GWT compilation easier.

14 files changed, 33 insertions, 26 deletions

diff --git a/src/server/Makefile b/src/server/Makefile
index 4ccf57182..1d4060391 100644
--- a/src/server/Makefile
+++ b/src/server/Makefile
@@ -1,13 +1,17 @@
 GFCFLAGS = +RTS -K100M -RTS --cpu
 
-.PHONY: pgf.fcgi run gf-gwt.jar
+.PHONY: pgf.fcgi run gwt gf-gwt.jar
 
 pgf.fcgi: 
 	cabal install
 	cp dist/build/pgf.fcgi/pgf.fcgi .
 
 gwt:
-	gwt-client/Translate-compile
+	gwt/Translate-compile
+
+gf-gwt.jar: gwt
+	jar -cf $@ -C gwt/src se
+	cp $@ ../../lib/java
 
 food.pgf:
 	gfc --make --name=food ../../examples/tutorial/food/Food{Eng,Ita}.gf
@@ -35,21 +39,10 @@ test.pgf: LangEng-parse.pgf LangGer-parse.pgf
 
 run: pgf.fcgi
 	@echo '*********************************************'
-	@echo 'See http://localhost:41296/gwt-client/www/se.chalmers.cs.gf.gwt.TranslateApp/Translate.html'
+	@echo 'See http://localhost:41296/gwt/www/se.chalmers.cs.gf.gwt.TranslateApp/Translate.html'
 	@echo '*********************************************'
 	lighttpd -f lighttpd.conf -D
 
-gwt-installball: pgf.fcgi gwt
-	rm -rf tmp/gwt-client
-	rm -f gf-server-installball.tar.gz
-	mkdir -p tmp/gwt-client
-	cp -pr gwt-client/www/se.chalmers.cs.gf.gwt_translate.Translate/* tmp/gwt-client
-	mv tmp/gwt-client/Translate.html tmp/gwt-client/index.html
-	(cd tmp && tar -zcf ../gwt-client-installball.tar.gz gwt-client)
-
-gf-gwt.jar:
-	jar -cf $@ -C gwt-client/src se
-
 clean:
 	cabal clean
 	-rm -f pgf.fcgi
\ No newline at end of file
diff --git a/src/server/gwt-client/Translate-compile b/src/server/gwt-client/Translate-compile
deleted file mode 100644
index 0880057c0..000000000
--- a/src/server/gwt-client/Translate-compile
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-APPDIR=`dirname $0`;
-GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2";
-java -XstartOnFirstThread -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar" com.google.gwt.dev.GWTCompiler -out "$APPDIR/www" "$@" se.chalmers.cs.gf.gwt.TranslateApp;
diff --git a/src/server/gwt-client/Translate-shell b/src/server/gwt-client/Translate-shell
deleted file mode 100644
index b6dd61ba1..000000000
--- a/src/server/gwt-client/Translate-shell
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-APPDIR=`dirname $0`;
-GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2";
-java -XstartOnFirstThread -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar" com.google.gwt.dev.GWTShell -out "$APPDIR/www" "$@" se.chalmers.cs.gf.gwt.TranslateApp/Translate.html;
diff --git a/src/server/gwt-client/Translate-shell-external b/src/server/gwt-client/Translate-shell-external
deleted file mode 100644
index 40d85a8a4..000000000
--- a/src/server/gwt-client/Translate-shell-external
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-APPDIR=`dirname $0`;
-GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2";
-java -XstartOnFirstThread -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar" com.google.gwt.dev.GWTShell -out "$APPDIR/www" -noserver "$@" http://localhost:41296/gwt-client/www/se.chalmers.cs.gf.gwt.TranslateApp/Translate.html;
diff --git a/src/server/gwt/Translate-compile b/src/server/gwt/Translate-compile
new file mode 100644
index 000000000..608f17e99
--- /dev/null
+++ b/src/server/gwt/Translate-compile
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+APPDIR=`dirname $0`;
+
+if [ -z "$GWT_CLASSPATH" ]; then
+  echo 'ERROR: $GWT_CLASSPATH is not set'
+  echo 'Set $GWT_CLASSPATH to point to the GWT JAR files. For example:'
+  echo 'export GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2"'
+  echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar"'
+  exit 1
+fi
+
+java -XstartOnFirstThread -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_CLASSPATH" com.google.gwt.dev.GWTCompiler -out "$APPDIR/www" "$@" se.chalmers.cs.gf.gwt.TranslateApp;
diff --git a/src/server/gwt/Translate-shell-external b/src/server/gwt/Translate-shell-external
new file mode 100644
index 000000000..78a258ec5
--- /dev/null
+++ b/src/server/gwt/Translate-shell-external
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+APPDIR=`dirname $0`;
+
+if [ -z "$GWT_CLASSPATH" ]; then
+  echo 'ERROR: $GWT_CLASSPATH is not set'
+  echo 'Set $GWT_CLASSPATH to point to the GWT JAR files. For example:'
+  echo 'export GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2"'
+  echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar"'
+  exit 1
+fi
+
+java -XstartOnFirstThread -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_CLASSPATH" com.google.gwt.dev.GWTShell -out "$APPDIR/www" -noserver "$@" http://localhost:41296/gwt/www/se.chalmers.cs.gf.gwt.TranslateApp/Translate.html;
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml b/src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml
index 959f16040..959f16040 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/TranslateApp.gwt.xml b/src/server/gwt/src/se/chalmers/cs/gf/gwt/TranslateApp.gwt.xml
index 3f35d1bef..3f35d1bef 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/TranslateApp.gwt.xml
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/TranslateApp.gwt.xml
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java
index 1073eed67..1073eed67 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/PGF.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java
index daf97c7ae..daf97c7ae 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/PGF.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/PGFRequest.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGFRequest.java
index b46ad9382..b46ad9382 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/PGFRequest.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGFRequest.java
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/TranslateApp.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/TranslateApp.java
index fd92713c3..fd92713c3 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/client/TranslateApp.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/TranslateApp.java
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/public/Translate.css b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Translate.css
index 5b5d22023..5b5d22023 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/public/Translate.css
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Translate.css
diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/public/Translate.html b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Translate.html
index f3fc1da8c..f3fc1da8c 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt/public/Translate.html
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Translate.html